Sciweavers

KR
2010
Springer

Interpreting Topological Logics over Euclidean Spaces

14 years 4 months ago
Interpreting Topological Logics over Euclidean Spaces
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the property of connectedness. The satisfiability problem for such logics is shown to depend not only on the spaces they are interpreted in, but also on the subsets of those spaces over which their variables are allowed to range. We identify the crucial notion of tameness, and chart the surprising patterns of sensitivity to the presence of non-tame regions exhibited by a range of topological logics in low-dimensional Euclidean spaces.
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakh
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where KR
Authors Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Comments (0)