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). Cited in 8 Documents MSC: 68T27 Logic in artificial intelligence 03B20 Subsystems of classical logic (including intuitionistic logic) 03B25 Decidability of theories and sets of sentences 03B45 Modal logic (including the logic of norms) 54E35 Metric spaces, metrizability 68T30 Knowledge representation Keywords:decidability; expressive completeness; metric spaces; spatial reasoning 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