Pages that link to "Item:Q3509060"
From MaRDI portal
The following pages link to Topological Modal Logics with Difference Modality (Q3509060):
Displaying 19 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Modality and possibility in some intuitionistic modal logics (Q1099162) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- (Q3784048) (← links)
- (Q3978987) (← links)
- Some Connections between Topological and Modal Logic (Q4323831) (← links)
- (Q4735194) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)