Topological Logics with Connectedness over Euclidean Spaces

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev. Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log., 14(2):13, 2013. [doi]

Abstract

Abstract is missing.