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