Modal logics for incidence geometries
From MaRDI portal
Publication:2785842
DOI10.1093/logcom/7.1.59zbMath0868.03009MaRDI QIDQ2785842
Luis Fariñas del Cerro, Philippe Balbiani, Dimiter Vakarelov, Tinko Tinchev
Publication date: 19 August 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.1.59
projective planes; modal logic; representation; completeness; categories; Kripke semantics; incidence geometry; affine planes; incidence plane; irreflexivity; incidence frame
03B45: Modal logic (including the logic of norms)
03B30: Foundations of classical theories (including reverse mathematics)
51A05: General theory of linear incidence geometry and projective geometries
Related Items
Hyperboolean Algebras and Hyperboolean Modal Logic, The modal logic of affine planes is not finitely axiomatisable, A ModalWalk Through Space, Modal Logics for Parallelism, Orthogonality, and Affine Geometries, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic, The Modal Multilogic of Geometry