Jochen Renz Bernhard Nebel 161-215 2007 Handbook of Spatial Logics https://doi.org/10.1007/978-1-4020-5587-4_4 reference/spatial/2007 db/reference/spatial/spatial2007.html#RenzN07