Gerassimov, O. Modal Logic for 3D Incidence Geometry. Ann. Sofia Univ. Fac. Math. and Inf. 2009, 99, 37-67.