Modal logics for incidence geometries

DOI10.1093/LOGCOM/7.1.59MaRDI QIDQ2785842zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, 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

affine planescategoriescompletenessincidence frameincidence geometryincidence planeirreflexivityKripke semanticsmodal logicprojective planesrepresentation

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Modal logic (including the logic of norms) (03B45) General theory of linear incidence geometry and projective geometries (51A05)

Recommendations

• Modal logic for 3D incidence geometry
• A modal logic for Lobachevskij's plane geometry
• The modal logic of affine planes is not finitely axiomatisable
• The Modal Multilogic of Geometry
• Some interrelations between geometry and modal logic

Cited in

(19)

• Correspondence between Kripke frames and projective geometries
• Line-based affine reasoning in Euclidean plane
• A modal logic for incidence spherical geometry
• A modal logic for Lobachevskij's plane geometry
• The modal logic of affine planes is not finitely axiomatisable
• An axiom system for incidence spatial geometry
• A modal walk through space
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• Logic for physical space. From antiquity to present day
• The Modal Multilogic of Geometry
• Hyperboolean Algebras and Hyperboolean Modal Logic
• A short biography of Luis Fariñas del Cerro
• Geometrical structures and modal logic
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Modal logic for 3D incidence geometry
• Some interrelations between geometry and modal logic
• Logics in Artificial Intelligence
• Modal logics of some geometrical structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2785842)