Pages that link to "Item:Q4580328"
From MaRDI portal
The following pages link to The intuitionistic temporal logic of dynamical systems (Q4580328):
Displaying 11 items.
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← links)
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- Temporal type theory. A topos-theoretic approach to systems and behavior (Q1791242) (← links)
- Asymptotic behaviour in temporal logic (Q4635593) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- (Q5437872) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- Ill-founded proof systems for intuitionistic linear-time temporal logic (Q6541154) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)