PP-1999-24: Logical Patterns in Space

PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]

[img] Text (Full Text)
PP-1999-24.text.ps.gz

Download (177kB)
[img] Text (Abstract)
PP-1999-24.abstract.txt

Download (628B)

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 define a notion of bisimulation for topological models that compares different visual scenes. We refine the comparison by introducing Ehrenfeucht-Fraisse' style games between patterns in space. Finally, we consider spatial languages of increased logical power in the direction of geometry. Keyword(s): spatial reasoning, vision, modal logics, topology, topological models, topological bisimulations, model comparison games

Item Type: Report
Report Nr: PP-1999-24
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/24

Actions (login required)

View Item View Item