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