Modal logics of metric spaces

DOI10.1017/S1755020314000446MaRDI QIDQ5247348zbMATH OpenFDO

Authors Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Publication date 24 April 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

topological closuredense-in-itself metric spacemodal diamond

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5295723
• The modal logic of Stone spaces: diamond as derivative
• Modal logics of Stone spaces
• Metric structure in the modal logic system S4
• Strong completeness of S4 for any dense-in-itself metric space

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Euclidean hierarchy in modal logic
• Modal logics of Stone spaces
• The algebra of topology

Cited in

(29)

• Logic for metric structures and the number of universal sofic and hyperlinear groups
• On modal logics arising from scattered locally compact Hausdorff spaces
• scientific article; zbMATH DE number 1941925 (Why is no real title available?)
• Logic of approximate entailment in quasimetric spaces
• Krull dimension in modal logic
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• Modal logics of Stone spaces
• Decidable metric logics
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Euclidean hierarchy in modal logic
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• Tree-like constructions in topology and modal logic
• scientific article; zbMATH DE number 5872417 (Why is no real title available?)
• scientific article; zbMATH DE number 5295723 (Why is no real title available?)
• Metric structure in the modal logic system S4
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• K4.Grz and hereditarily irresolvable spaces
• Spectral and \(T _{0}\)-spaces in d-semantics
• « Everywhere » and « here »
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• Metric reasoning about λ-terms: The affine case
• Modal logics for metric spaces: open problems
• A new proof of the McKinsey-Tarski theorem
• Strong completeness of modal logics over 0-dimensional metric spaces
• Spatial logic of tangled closure operators and modal mu-calculus
• A modal logic framework for reasoning about comparative distances and topology
• Topological product of modal logics with the McKinsey axiom

This page was built for publication: Modal logics of metric spaces

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