A modal logic for Lobachevskij's plane geometry

zbMATH Open1106.03312MaRDI QIDQ3410367FDOQ3410367

Authors: Alfonso Ríder Moyano, Rafael María Rubio Ruiz 

Publication date: 27 November 2006

Recommendations

• Modal logics for incidence geometries
• Geometrical structures and modal logic
• A modal logic for incidence spherical geometry
• Modal logic for 3D incidence geometry
• Some interrelations between geometry and modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Linear incidence geometric structures with parallelism (51A15)

Cited In (7)

• Some interrelations between geometry and modal logic
• A modal logic for incidence spherical geometry
• Modal logics for incidence geometries
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Modal logics of some geometrical structures
• An axiom system for incidence spatial geometry

This page was built for publication: A modal logic for Lobachevskij's plane geometry

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