Modal logic for 3D incidence geometry

TitleModal logic for 3D incidence geometry
Publication TypeJournal Article
Year of Publication2009
AuthorsGerassimov O
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
KeywordsAxiomatization, Completeness Theorem, equivalence relations, Incidence Geometry, Modal Logic of Irreflexivity

Three sorted geometrical space of incidence is represented as equivalent uni-sorted objects structure of incidences, and a modal logic using three equivalence relations and a difference relation is used to axiomatize that class. Completeness theorem is proven.

PDF icon 99-037-067.pdf3.1 MB