Pages that link to "Item:Q2055931"

The following pages link to Propositional quantification in bimodal S5 (Q2055931):

Displaying 3 items.

• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• Logic talk (Q6180153) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)