Modal logics for incidence geometries
From MaRDI portal
Publication:2785842
DOI10.1093/logcom/7.1.59zbMath0868.03009OpenAlexW2042622894MaRDI QIDQ2785842
Tinko Tinchev, Philippe Balbiani, Luis Fariñas del Cerro, Dimiter Vakarelov
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 planesmodal logicrepresentationcompletenesscategoriesKripke semanticsincidence geometryaffine planesincidence planeirreflexivityincidence frame
Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) General theory of linear incidence geometry and projective geometries (51A05)
Related Items
Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Logic for physical space. From antiquity to present day ⋮ A short biography of Luis Fariñas del Cerro ⋮ Correspondence between Kripke frames and projective geometries ⋮ Geometrical structures and 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