PP-2001-18: Aiello, M. and van Benthem, J. and Bezhanishvili, G. (2001) Reasoning About Space: The Modal Way. [Report]
Preview |
Text (Full Text)
PP-2001-18.text.pdf Download (326kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2001-18.abstract.txt Download (725B) |
Abstract
We investigate the topological interpretation of modal logic in modern terms, using a new notion of bisimulation. Next, we look at modal logics with interesting topological content, presenting, amongst others, a new proof of McKinsey and Tarski's theorem on completeness of S4 with respect to the real line, and a completeness proof for the logic of finite unions of convex sets of reals. We conclude with a broader picture of extended modal languages of space, for which the main logical questions are still wide open.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2001-18 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2001 |
| Uncontrolled Keywords: | spatial reasoning, modal logic, topological interpretation, topological bisimulations, chequered sets |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/60 |
Actions (login required)
 |
View Item |
