Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Logical Patterns in Space Marco Aiello and Johan van Benthem

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
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 Reasoning about Space 3
2 Topological Structure: a Modal Approach 4
2.1 The topological view of space . . . . . . . . . . . . . . . . . . . . 4


Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen


Collections: Computer Technologies and Information Sciences