Pages that link to "Item:Q1731834"

The following pages link to Second-order propositional modal logic: expressiveness and completeness results (Q1731834):

Displaying 14 items.

• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
• The expressive power of second-order propositional modal logic (Q1924326) (← links)
• On the logic of belief and propositional quantification (Q2240550) (← links)
• Improved Second-Order Quantifier Elimination in Modal Logic (Q3532480) (← links)
• On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
• Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
• On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)
• (Q5101338) (← links)
• Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← links)
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)