Logics of metric spaces

DOI10.1145/635499.635504zbMath1365.68407OpenAlexW2055256635MaRDI QIDQ5267430

Holger Sturm, Frank Wolter, Oliver Kutz, Nobu-Yuki Suzuki, Michael Zakharyashchev

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/635499.635504

zbMATH Keywords

expressive completenessmetric spacesdecidabilityspatial reasoning

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Logic of approximate entailment in quasimetric spaces ⋮ Continuous accessibility modal logics ⋮ A logic for metric and topology ⋮ Logics for approximate and strong entailments ⋮ Some new results on decidability for elementary algebra and geometry ⋮ Axiomatizing Distance Logics ⋮ Logics for approximate entailment in ordered universes of discourse ⋮ \({\mathcal E}\)-connections of abstract description systems

This page was built for publication: Logics of metric spaces