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.
|Uitgeverij||University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science|
|Status||Published - 2002|