| | |
Summary: Logical Patterns in Space
Marco Aiello and Johan van Benthem
Institute for Logic, Language and Computation
University of Amsterdam
Plantage Muidergracht 24, 1018 TV Amsterdam
E-mail: faiellom,johang@wins.uva.nl
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
de ne a notion of bisimulation for topological models that compares di er-
ent visual scenes. We re ne the comparison by introducing Ehrenfeucht-
Frasse style games between patterns in space. Finally, we consider spatial
languages of increased logical power in the direction of geometry.
Also, Intelligent Sensory Information Systems, University of Amsterdam
1
Contents
1 Reasoning about Space 3
2 Topological Structure: a Modal Approach 4
2.1 The topological view of space . . . . . . . . . . . . . . . . . . . . 4
|
