Logics of metric spaces

DOI10.1145/635499.635504MaRDI QIDQ5267430zbMATH OpenOpenAlexFDO

Authors Oliver Kutz, F. Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev

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

metric spacesdecidabilityspatial reasoningexpressive completeness

Mathematics Subject Classification ID

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

Recommendations

• Notes on logics of metric spaces
• Axiomatizing distance logics
• scientific article; zbMATH DE number 5295723
• scientific article; zbMATH DE number 1759368
• A logic for metric and topology

Cited in

(21)

• Notes on logics of metric spaces
• scientific article; zbMATH DE number 1759368 (Why is no real title available?)
• Games and Scott sentences for positive distances between metric structures
• \({\mathcal E}\)-connections of abstract description systems
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• Logic of approximate entailment in quasimetric spaces
• A propositional metric logic with fixed finite ranges
• Continuous accessibility modal logics
• Logic for metric structures and the number of universal sofic and hyperlinear groups
• Decidable metric logics
• Metric reasoning about λ-terms: The affine case
• Logics for approximate and strong entailments
• Logics for approximate entailment in ordered universes of discourse
• scientific article; zbMATH DE number 5872417 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• Some new results on decidability for elementary algebra and geometry
• A propositional logic with binary metric operators
• scientific article; zbMATH DE number 5295723 (Why is no real title available?)
• scientific article; zbMATH DE number 7108980 (Why is no real title available?)
• Axiomatizing distance logics
• A logic for metric and topology

This page was built for publication: Logics of metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267430)