Pages that link to "Item:Q4961741"
From MaRDI portal
The following pages link to COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741):
Displaying 4 items.
- Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993 (Q1365670) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049) (← links)