Notes on logics of metric spaces

DOI10.1007/s11225-007-9023-3zbMath1121.03028OpenAlexW2046515046MaRDI QIDQ878157

Oliver Kutz

Publication date: 26 April 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9023-3

zbMATH Keywords

interpolationexpressive completenessmetric spaceshybrid logicaxiomatisationBoolean modal logic

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45)

Related Items

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, Logic of approximate entailment in quasimetric spaces, Logics for approximate and strong entailments, Logics for approximate entailment in ordered universes of discourse

Cites Work

• Unnamed Item
• An essay in combinatory dynamic logic
• Axiomatising the logic of computer programming
• Modal logic with names
• Multi-dimensional modal logic
• Axiomatizations with context rules of inference in modal logic
• The complexity of Boolean matrix root computation
• First-order logic with two variables and unary temporal logic
• Sahlqvist Formulas in Hybrid Polyadic Modal Logics
• Interpolation for extended modal languages
• Axiomatizing Distance Logics
• The modal logic of inequality
• An ascending chain of S4 logics
• Hybrid languages and temporal logic
• Derivation rules as anti-axioms in modal logic
• An approach to tense logic¹
• A logic for metric and topology
• Failure of interpolation in combined modal logics