Pages that link to "Item:Q2319895"
From MaRDI portal
The following pages link to A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895):
Displaying 5 items.
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- An algebraic study of the logic \textbf{S5'(BL)} (Q2105717) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Logic talk (Q6180153) (← links)
- Modal logics with non-rigid propositional designators (Q6562528) (← links)