with Bezhanishvili, G. , Bloch, I. , Goranko, V. , 2012, 'Logic for physical space', Synthese 186 (3), 619-632.