Reasoning about Space: The Modal Way

Marco Aiello*, Johan Van Benthem, Guram Bezhanishvili

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

69 Citations (Scopus)

Abstract

We investigate the topological interpretation of modal logic in modern terms, using a new notion of bisimulation. We look at modal logics with interesting topological content, presenting, among 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.

Original languageEnglish
Pages (from-to)889-920
Number of pages32
JournalJournal of Logic and Computation
Volume13
Issue number6
DOIs
Publication statusPublished - Dec 2003
Externally publishedYes

Keywords

  • Modal logic
  • Serial set
  • Spatial reasoning
  • Topo-bisimulation
  • Topological interpretation

Fingerprint

Dive into the research topics of 'Reasoning about Space: The Modal Way'. Together they form a unique fingerprint.

Cite this