Modal logic for 3D incidence geometry

Authors

  • Ognyan Gerassimov

Keywords:

Axiomatization, Completeness Theorem, equivalence relations, Incidence Geometry, Modal Logic of Irreflexivity

Abstract

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.

Downloads

Published

2009-12-12

Issue

Vol. 99 (2009): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

Modal logic for 3D incidence geometry. (2009). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 99, 37-67. https://annual.uni-sofia.bg/index.php/fmi/article/view/111