Modal logics of metric spaces
From MaRDI portal
Publication:5247348
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
Cites Work
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)