Pages that link to "Item:Q2055931"
From MaRDI portal
The following pages link to Propositional quantification in bimodal S5 (Q2055931):
Displaying 6 items.
- A simple embedding of T into double S5 (Q558415) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Representability in second-order propositional poly-modal logic (Q4779649) (← links)
- Logic talk (Q6180153) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)