A modal logic for Lobachevskij's plane geometry

MaRDI QIDQ3410367zbMATH OpenFDO

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

Publication date 27 November 2006

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)

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

Cited in

(7)

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

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)