Modal Logics for Parallelism, Orthogonality, and Affine Geometries

DOI10.3166/jancl.12.365-397zbMath1185.03024OpenAlexW2214237509MaRDI QIDQ3647300

Philippe Balbiani, Valentin F. Goranko

Publication date: 30 November 2009

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

Full work available at URL: https://doi.org/10.3166/jancl.12.365-397

zbMATH Keywords

modal logicaffine geometryprojective geometry

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Affine analytic geometry (51N10) Other applications of logic (03B80)

Related Items (5)

Line-based affine reasoning in Euclidean plane ⋮ Logic for physical space. From antiquity to present day ⋮ Correspondence between Kripke frames and projective geometries ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ The modal logic of affine planes is not finitely axiomatisable

Cites Work

• Unnamed Item
• Modal logic with names
• Modal logics for incidence geometries
• A ModalWalk Through Space
• Using the Universal Modality: Gains and Questions
• The modal logic of inequality
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Modal Multilogic of Geometry
• Derivation rules as anti-axioms in modal logic
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Sylvester's Problem on Collinear Points and a Relative

This page was built for publication: Modal Logics for Parallelism, Orthogonality, and Affine Geometries