Topology, connectedness, and modal logic

This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the effect of extending this logic with the means to represent topological connectedness, focusing principally on the issue of computational complexity. In particular, we draw attention to the special problems which arise when the logics are interpreted not over arbitrary topological spaces, but over (low-dimensional) Euclidean spaces.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
• Keywords: AIML 2008, Arbitrary Topological Spaces, Logical Reasoning, Topological Connectedness, Topological Spatial Logics