Marco Aiello Ian Pratt-Hartmann Johan van Benthem Handbook of Spatial Logics Springer 2007 978-1-4020-5586-7 db/reference/spatial/spatial2007.html