Logical Patterns in Space
Marco Aiello, Johan van Benthem · UvA-DARE (University of Amsterdam) · 2002
In this paper, we revive the topological interpretation of modal logic, turning it into a general language of patterns in space. In particular, we define a notion of bisimulation for topological models that compares different visual scenes. We refine the comparison by introducing Ehrenfeucht-Fraïssé style games between patterns in space. Finally, we consider spatial languages of increased logical power in the direction of geometry.