Points, lines and diamonds: a two-sorted modal logic for projective planes

DOI10.1093/logcom/9.5.601zbMath0941.03020OpenAlexW2059354551MaRDI QIDQ4934808

Yde Venema

Publication date: 30 January 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.5.601

zbMATH Keywords

projective planesmodal logicdecidabilityprojective geometryaxiomatizationcomputational complexity of satisfaction problemlogic of space

Mathematics Subject Classification ID

Finite affine and projective planes (geometric aspects) (51E15) Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (11)

Logic for physical space. From antiquity to present day ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ Geometric modal logic ⋮ Correspondence between Kripke frames and projective geometries ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Undecidable theories of Lyndon algebras ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ The modal logic of affine planes is not finitely axiomatisable ⋮ Modal translation of substructural logics ⋮ A ModalWalk Through Space ⋮ Modal Logics for Parallelism, Orthogonality, and Affine Geometries

This page was built for publication: Points, lines and diamonds: a two-sorted modal logic for projective planes