Modal logics of metric spaces

DOI10.1017/S1755020314000446zbMATH Open1371.03022MaRDI QIDQ5247348FDOQ5247348

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)

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebra of topology
• Euclidean hierarchy in modal logic
• Modal logics of Stone spaces
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• Logic of approximate entailment in quasimetric spaces
• Krull dimension in modal logic
• Title not available (Why is that?)
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
• Modal logics of Stone spaces
• Decidable metric logics
• Title not available (Why is that?)
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Euclidean hierarchy in modal logic
• Tree-like constructions in topology and modal logic
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Strong completeness of modal logics over 0-dimensional metric spaces
• A new proof of the McKinsey-Tarski theorem
• Spatial logic of tangled closure operators and modal mu-calculus
• Topological product of modal logics with the McKinsey axiom
• A modal logic framework for reasoning about comparative distances and topology

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)