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 16 items.
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- 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)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← 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)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)