Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
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

  

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

 

Collections: Computer Technologies and Information Sciences