The following pages link to (Q3509059):
Displaying 13 items.
- Reasoning about visibility (Q420853) (← links)
- Dynamic topological logic (Q705534) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- Generalized Post embedding problems (Q2354596) (← links)
- Propositional logic of continuous transformations in Cantor space (Q2388436) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)