Translator Disclaimer
September 2008 The modal logic of affine planes is not finitely axiomatisable
Ian Hodkinson, Altaf Hussain
J. Symbolic Logic 73(3): 940-952 (September 2008). DOI: 10.2178/jsl/1230396757

Abstract

We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between lines. We show that the modal logic of affine planes in this language is not finitely axiomatisable.

Citation

Download Citation

Ian Hodkinson. Altaf Hussain. "The modal logic of affine planes is not finitely axiomatisable." J. Symbolic Logic 73 (3) 940 - 952, September 2008. https://doi.org/10.2178/jsl/1230396757

Information

Published: September 2008
First available in Project Euclid: 27 December 2008

zbMATH: 1159.03014
MathSciNet: MR2444278
Digital Object Identifier: 10.2178/jsl/1230396757

Subjects:
Primary: 51E15
Secondary: 03B45, 51A15

Rights: Copyright © 2008 Association for Symbolic Logic

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.73 • No. 3 • September 2008
Back to Top