Pages that link to "Item:Q2915900"
From MaRDI portal
The following pages link to A sound and complete axiomatization for Dynamic Topological Logic (Q2915900):
Displaying 5 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)
