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 8 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
