The following pages link to MODAL LOGICS OF METRIC SPACES (Q5247348):
Displaying 19 items.
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Decidable metric logics (Q999264) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (Q2915679) (← links)
- (Q3085174) (← links)
- Logic for metric structures and the number of universal sofic and hyperlinear groups (Q3190346) (← links)
- (Q3509066) (← links)
- (Q3647279) (← links)
- (Q4551182) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 (Q4637951) (← links)
- THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES (Q4959665) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Topological product of modal logics with the McKinsey axiom (Q6545174) (← links)
