Pages that link to "Item:Q2296760"
From MaRDI portal
The following pages link to Axiomatic systems and topological semantics for intuitionistic temporal logic (Q2296760):
Displaying 6 items.
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Temporal type theory. A topos-theoretic approach to systems and behavior (Q1791242) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- Axiomatic systems and topological semantics for intuitionistic temporal logic (Q6299024) (← links)