Pages that link to "Item:Q4358053"

The following pages link to On the complexity of propositional quantification in intuitionistic logic (Q4358053):

Displaying 29 items.

• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• Complexity of subclasses of the intuitionistic propositional calculus (Q688732) (← links)
• Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
• On the homogeneity property for certain quantifier logics (Q1204106) (← links)
• On the number of new logical constants in intuitionistic propositional calculus (Q1280312) (← links)
• On propositional quantifiers in provability logic (Q1317986) (← 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)
• Statistics of intuitionistic versus classical logics (Q1826933) (← links)
• Quantified multimodal logics in simple type theory (Q1945702) (← links)
• On the logic of belief and propositional quantification (Q2240550) (← 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)
• Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
• A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic (Q3145830) (← links)
• Linear Kripke frames and Gödel logics (Q3426561) (← links)
• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
• (Q3743301) (← links)
• Representability in second-order propositional poly-modal logic (Q4779649) (← links)
• COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
• (Q5101338) (← links)
• The complexity of disjunction in intuitionistic logic (Q5108032) (← links)
• LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)