Similar Items: On the Mints Hierarchy in First-Order Intuitionistic Logic
- On the strictness of the quantifier structure hierarchy in first-order logic
- Capturing the polynomial hierarchy by second-order revised Krom logic
- Functional Interpretations of Intuitionistic Linear Logic
- The intuitionistic temporal logic of dynamical systems
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- The succinctness of first-order logic on linear orders