Axiomatizing Distance Logics

DOI10.3166/JANCL.12.425-439zbMath1185.03034OpenAlexW2073260434MaRDI QIDQ3647302

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

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.425-439

zbMATH Keywords

modal logicmetric spaceaxiomatization

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Notes on logics of metric spaces ⋮ Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology ⋮ Knowing-how under uncertainty ⋮ \({\mathcal E}\)-connections of abstract description systems

Cites Work

• Using the Universal Modality: Gains and Questions
• The modal logic of inequality
• Logics of metric spaces

This page was built for publication: Axiomatizing Distance Logics