Similar Items: The intuitionistic temporal logic of dynamical systems
- Functional Interpretations of Intuitionistic Linear Logic
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- On the Mints Hierarchy in First-Order Intuitionistic Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic