Pages that link to "Item:Q558415"
From MaRDI portal
The following pages link to A simple embedding of T into double S5 (Q558415):
Displaying 4 items.
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)