Johan van Benthem Guram Bezhanishvili Modal Logics of Space. 217-298 2007 Handbook of Spatial Logics http://dx.doi.org/10.1007/978-1-4020-5587-4_5 reference/spatial/2007 db/reference/spatial/spatial2007.html#BenthemB07