Logical Patterns in Space

Marco Aiello, Johan van Benthem


81 Downloads (Pure)


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.
Originele taal-2English
UitgeverijUniversity of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Aantal pagina's42
StatusPublished - 2002

Citeer dit