Pages that link to "Item:Q5111181"
From MaRDI portal
The following pages link to A Decidable Intuitionistic Temporal Logic (Q5111181):
Displaying 12 items.
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
- (Q4503155) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Decidable temporal and sequential relevant logics* (Q4612410) (← 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)
- 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)