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

How to Cite

Gerassimov, O. (2009). Modal logic for 3D incidence geometry. Ann. Sofia Univ. Fac. Math. And Inf., 99, 37–67. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/111

Issue

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

Section

Articles