The Modal Multilogic of Geometry

DOI10.1080/11663081.1998.10510945MaRDI QIDQ4236068zbMATH OpenOpenAlexFDO

Authors 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

projective geometryincidence geometrymodal logicrelational structurespatial 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)

Recommendations

• Geometrical structures and modal logic
• scientific article; zbMATH DE number 5295702
• Modal logic for 3D incidence geometry
• Modal logics for incidence geometries

Cites work

• scientific article; zbMATH DE number 1047508 (Why is no real title available?)
• Logic For Reasoning About Knowledge
• Modal Logics Between S 4 and S 5
• Modal logics for incidence geometries
• The logic of Peirce algebras
• The modal logic of inequality

Cited in

(21)

• Modal logics of succession for 2-dimensional integral spacetime
• A spatial modal logic with a location interpretation
• Some interrelations between geometry and modal logic
• scientific article; zbMATH DE number 1215467 (Why is no real title available?)
• Some observations about spatial logic
• Geometrical structures and modal logic
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Contextual logic with modalities for time and space
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Modal logics for incidence geometries
• Geometric modal logic
• Modal translation of substructural logics
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• The mystery of ten wooden blocks: Hjelmslev's geometry of reality
• A modal walk through space
• Multi-valued Logic for a Point-Free Foundation of Geometry
• Modal logic for 3D incidence geometry
• Modal logics of some geometrical structures
• Logic for physical space. From antiquity to present day
• Geographic wayfinders and space-time algebra
• Correspondence between Kripke frames and projective geometries

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

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