Pages that link to "Item:Q1381441"
From MaRDI portal
The following pages link to Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441):
Displaying 5 items.
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- (Q5101338) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
