Spatial Logic