Modal logic for 3D incidence geometry

MaRDI QIDQ4993771zbMATH OpenFDO

Authors Ognyan Gerassimov

Publication date 16 June 2021

Full work available at URL https://www.fmi.uni-sofia.bg/en/node/6760

zbMATH Keywords

axiomatizationcompleteness theoremequivalence relationsincidence geometrymodal logic of irreflexivity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General theory of linear incidence geometry and projective geometries (51A05)

Recommendations

• Modal logics for incidence geometries
• Some interrelations between geometry and modal logic
• An axiom system for incidence spatial geometry
• A modal logic for incidence spherical geometry
• The Modal Multilogic of Geometry

Cited in

(10)

• Three-dimensional affine spatial logics
• Modal logics for incidence geometries
• A modal logic for incidence spherical geometry
• A modal logic for Lobachevskij's plane geometry
• An axiom system for incidence spatial geometry
• A modal walk through space
• The Modal Multilogic of Geometry
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Some interrelations between geometry and modal logic
• Geometric modal logic

This page was built for publication: Modal logic for 3D incidence geometry

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