Axiomatizing Distance Logics
From MaRDI portal
Publication:3647302
DOI10.3166/jancl.12.425-439zbMath1185.03034MaRDI QIDQ3647302
Holger Sturm, Frank Wolter, Nobu-Yuki Suzuki, 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
54E35: Metric spaces, metrizability
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Related Items
\({\mathcal E}\)-connections of abstract description systems, Notes on logics of metric spaces, Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
Cites Work