Interpreting Topological Logics over Euclidean Spaces.

Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev

Browse the full KR paper archive.