Similar Items: Intuitionistic implication makes model checking hard
- Functional Interpretations of Intuitionistic Linear Logic
- The intuitionistic temporal logic of dynamical systems
- On the Mints Hierarchy in First-Order Intuitionistic Logic
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
- Universal quantification makes automatic structures hard to decide
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets