Some interrelations between geometry and modal logic

DOI10.26686/AJL.V18I4.6831MaRDI QIDQ5019119zbMATH OpenOpenAlexFDO

Authors K. E. Pledger

Publication date 29 December 2021

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.26686/ajl.v18i4.6831

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
• Modal logics for incidence geometries
• The Modal Multilogic of Geometry
• Modal logic for 3D incidence geometry
• A modal logic for Lobachevskij's plane geometry

Cited in

(11)

• Correspondence between Kripke frames and projective geometries
• Line-based affine reasoning in Euclidean plane
• Modal logics for incidence geometries
• A modal logic for Lobachevskij's plane geometry
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Geometrical structures and modal logic
• scientific article; zbMATH DE number 6954647 (Why is no real title available?)
• Notes on the geometry of logic and philosophy
• Modal logic for 3D incidence geometry
• Logics in Artificial Intelligence
• Modal logics of some geometrical structures

This page was built for publication: Some interrelations between geometry and modal logic

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