Pages that link to "Item:Q3509060"
From MaRDI portal
The following pages link to Topological Modal Logics with Difference Modality (Q3509060):
Displayed 10 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← 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)