Pages that link to "Item:Q1924326"
From MaRDI portal
The following pages link to The expressive power of second-order propositional modal logic (Q1924326):
Displaying 12 items.
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← 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)
- Defining relevant implication in a propositionally quantified <b>S4</b> (Q4382459) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- (Q5101338) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Logic talk (Q6180153) (← links)
