The following pages link to Dynamic topological S5 (Q1024554):
Displaying 9 items.
- Dynamic topological logic (Q705534) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Topo-logic as a dynamic-epistemic logic (Q1679771) (← links)
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Topological modal logics satisfying finite chain conditions (Q5937828) (← links)
