An axiom system for incidence spatial geometry

DOI10.1007/BF03191824MaRDI QIDQ3620725zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 14 April 2009

Published in Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03191824

zbMATH Keywords

axiomatics of geometric structurescompletenessincidence spatial framemodal logicone-sorted geometrical structure

Mathematics Subject Classification ID

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

Recommendations

• Modal logic for 3D incidence geometry
• A modal logic for incidence spherical geometry
• Modal logics for incidence geometries
• Geometrical structures and modal logic
• A modal logic for Lobachevskij's plane geometry

Cited in

(7)

• Formalization of Hilbert's geometry of incidence and parallelism
• An axiom system for a spatial logic with convexity
• scientific article; zbMATH DE number 4213959 (Why is no real title available?)
• A modal logic for incidence spherical geometry
• scientific article; zbMATH DE number 4107566 (Why is no real title available?)
• scientific article; zbMATH DE number 1254438 (Why is no real title available?)
• Modal logic for 3D incidence geometry

This page was built for publication: An axiom system for incidence spatial geometry

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