Gerassimov, O. 2009. Modal logic for 3D incidence geometry. Ann. Sofia Univ. Fac. Math. and Inf. 99, (Dec. 2009), 37–67.