PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-1999-24.text.ps.gz Download (177kB) |
|
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 |
