The Modal Multilogic of Geometry

DOI10.1080/11663081.1998.10510945zbMath0921.03022OpenAlexW1997731196MaRDI QIDQ4236068

Philippe Balbiani

Publication date: 29 September 1999

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1998.10510945

zbMATH Keywords

modal logicprojective geometryrelational structureincidence geometryspatial logicmathematical model of spacemodal multilogic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65) Linear incidence geometry (51A99)

Related Items (8)

Logic for physical space. From antiquity to present day ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ Geographic wayfinders and space-time algebra ⋮ Correspondence between Kripke frames and projective geometries ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Modal translation of substructural logics ⋮ A ModalWalk Through Space ⋮ Modal Logics for Parallelism, Orthogonality, and Affine Geometries

Cites Work

• Unnamed Item
• The logic of Peirce algebras
• Modal logics for incidence geometries
• Logic For Reasoning About Knowledge
• The modal logic of inequality
• Modal Logics Between S 4 and S 5

This page was built for publication: The Modal Multilogic of Geometry