Pages that link to "Item:Q4358053"
From MaRDI portal
The following pages link to On the complexity of propositional quantification in intuitionistic logic (Q4358053):
Displayed 10 items.
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- Representability in second-order propositional poly-modal logic (Q4779649) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)