PP-2001-18: Reasoning About Space: The Modal Way

PP-2001-18: Aiello, M. and van Benthem, J. and Bezhanishvili, G. (2001) Reasoning About Space: The Modal Way. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (326kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (725B)


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