Modal logics for incidence geometries

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

zbMATH Keywords

projective planesmodal logicrepresentationcompletenesscategoriesKripke semanticsincidence geometryaffine planesincidence planeirreflexivityincidence frame

Mathematics Subject Classification ID

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 (10)

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

This page was built for publication: Modal logics for incidence geometries