U. Hustadt, D. Tishkovsky, F. Wolter, M. Zakharyaschev: Automated reasoning about metric and topology

U. Hustadt, D. Tishkovsky, F. Wolter, and M. Zakharyaschev (2006): ``Automated reasoning about metric and topology.'' In Michael Fisher, Wiebe van der Hoek, Boris Konev and Alexei Lisitsa, editors, Proceedings of the 10th European Conference on Logics in Artificial Intelligence JELIA 2006 (Liverpool, UK, September 13-15, 2006), pp. 490-493. LNAI 4160, Springer.
Abstract, BibTeX, Abstract + PDF (Springer).

In this paper we compare two approaches to automated reasoning about metric and topology in the framework of the logic MT introduced in [10]. MT-formulas are built from set variables p1,p2,... (for arbitrary subsets of a metric space) using the Booleans conjunction, disjunction, implication, and negation, distance operators, and topological interior and closure operators I and C.