Pages that link to "Item:Q1924326"

The following pages link to The expressive power of second-order propositional modal logic (Q1924326):

Displaying 23 items.

• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• Power domains and second-order predicates (Q685429) (← links)
• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
• Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
• Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
• Propositional quantification in bimodal S5 (Q2055931) (← links)
• On the logic of belief and propositional quantification (Q2240550) (← links)
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• Expressivity of second order propositional modal logic (Q2499295) (← links)
• Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
• Improved Second-Order Quantifier Elimination in Modal Logic (Q3532480) (← links)
• Defining relevant implication in a propositionally quantified <b>S4</b> (Q4382459) (← links)
• Representability in second-order propositional poly-modal logic (Q4779649) (← links)
• On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)
• COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
• (Q5101338) (← links)
• Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← links)
• LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
• Logic talk (Q6180153) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
• Modal logics with non-rigid propositional designators (Q6562528) (← links)