Logics of metric spaces
DOI10.1145/635499.635504zbMATH Open1365.68407OpenAlexW2055256635MaRDI QIDQ5267430FDOQ5267430
Michael Zakharyaschev, Holger Sturm, F. Wolter, Oliver Kutz, Nobu-Yuki Suzuki
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
Recommendations
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)
Cited In (18)
- Logics for approximate entailment in ordered universes of discourse
- Some new results on decidability for elementary algebra and geometry
- Logic for metric structures and the number of universal sofic and hyperlinear groups
- Notes on logics of metric spaces
- Logic of approximate entailment in quasimetric spaces
- Title not available (Why is that?)
- A logic for metric and topology
- Decidable metric logics
- \({\mathcal E}\)-connections of abstract description systems
- Logics for approximate and strong entailments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
- Title not available (Why is that?)
- Continuous accessibility modal logics
- Title not available (Why is that?)
- Metric reasoning about λ-terms: The affine case
- Axiomatizing distance logics
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)
