PP-1999-24: Logical Patterns in Space

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

[thumbnail of Full Text] Text (Full Text)

Download (177kB)
[thumbnail of Abstract] Text (Abstract)

Download (628B)


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