Logical Patterns in Space
Marco Aiello, Johan van Benthem
Abstract:
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-Fraisse' style games between patterns in
space. Finally, we consider spatial languages of increased logical
power in the direction of geometry.
Keyword(s): spatial reasoning, vision, modal logics, topology,
topological models, topological bisimulations, model comparison games