Handbook of Spatial Logics 2007