Pages that link to "Item:Q4779649"
From MaRDI portal
The following pages link to Representability in second-order propositional poly-modal logic (Q4779649):
Displaying 5 items.
- A simple embedding of T into double S5 (Q558415) (← 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)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
