Pages that link to "Item:Q4779649"

The following pages link to Representability in second-order propositional poly-modal logic (Q4779649):

Displaying 15 items.

• Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
• A simple embedding of T into double S5 (Q558415) (← links)
• Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
• All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
• The expressive power of second-order propositional modal logic (Q1924326) (← 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)
• Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
• THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
• (Q5101338) (← links)
• Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← 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)