Pages that link to "Item:Q5479024"
From MaRDI portal
The following pages link to S4 is Topologically Complete for (0,1): a Short Proof (Q5479024):
Displaying 8 items.
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- A canonical topological model for extensions of K4 (Q969431) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889) (← links)
- A proof of topological completeness for S4 in \((0,1)\) (Q1772779) (← links)
- On Dynamic Topological Logic of the Real Line (Q3549319) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)