Pages that link to "Item:Q1731834"

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

Displaying 3 items.

• On the logic of belief and propositional quantification (Q2240550) (← links)
• (Q5101338) (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)