Pages that link to "Item:Q764267"
From MaRDI portal
The following pages link to Tangled modal logic for topological dynamics (Q764267):
Displayed 4 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)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)