Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael Logics of metric spaces. (English) Zbl 1365.68407 ACM Trans. Comput. Log. 4, No. 2, 260-294 (2003). MSC: 68T27 03B20 03B25 03B45 54E35 68T30 PDF BibTeX XML Cite \textit{O. Kutz} et al., ACM Trans. Comput. Log. 4, No. 2, 260--294 (2003; Zbl 1365.68407) Full Text: DOI
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael Axiomatizing distance logics. (English) Zbl 1185.03034 J. Appl. Non-Class. Log. 12, No. 3-4, 425-439 (2002). MSC: 03B45 03B25 54E35 PDF BibTeX XML Cite \textit{O. Kutz} et al., J. Appl. Non-Class. Log. 12, No. 3--4, 425--439 (2002; Zbl 1185.03034) Full Text: DOI
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael Semi-qualitative reasoning about distances: A preliminary report. (English) Zbl 0998.68157 Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 37-56 (2000). MSC: 68T27 PDF BibTeX XML Cite \textit{H. Sturm} et al., Lect. Notes Comput. Sci. 1919, 37--56 (2000; Zbl 0998.68157)