Pages that link to "Item:Q766293"
From MaRDI portal
The following pages link to Dynamic topological logic interpreted over minimal systems (Q766293):
Displayed 4 items.
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)