Pages that link to "Item:Q466445"

The following pages link to Second-order propositional modal logic and monadic alternation hierarchies (Q466445):

Displaying 4 items.

• Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
• On the logic of belief and propositional quantification (Q2240550) (← links)
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• (Q5101338) (← links)