The following pages link to (Q3509059):
Displayed 5 items.
- Reasoning about visibility (Q420853) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)