Points, lines and diamonds: a two-sorted modal logic for projective planes
From MaRDI portal
Publication:4934808
DOI10.1093/logcom/9.5.601zbMath0941.03020MaRDI QIDQ4934808
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
projective planes; modal logic; decidability; projective geometry; axiomatization; computational complexity of satisfaction problem; logic of space
51E15: Finite affine and projective planes (geometric aspects)
03B45: Modal logic (including the logic of norms)
68T30: Knowledge representation
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Modal translation of substructural logics, Lattice logic as a fragment of (2-sorted) residuated modal logic, Logic for physical space. From antiquity to present day, Correspondence between Kripke frames and projective geometries, Undecidable theories of Lyndon algebras, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, The modal logic of affine planes is not finitely axiomatisable, A ModalWalk Through Space, Modal Logics for Parallelism, Orthogonality, and Affine Geometries