Pages that link to "Item:Q1772779"
From MaRDI portal
The following pages link to A proof of topological completeness for S4 in \((0,1)\) (Q1772779):
Displaying 16 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Dynamic topological logic (Q705534) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Dynamic measure logic (Q714709) (← links)
- A canonical topological model for extensions of K4 (Q969431) (← links)
- Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889) (← links)
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496) (← links)
- A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- On Dynamic Topological Logic of the Real Line (Q3549319) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- Reasoning About Space: The Modal Way (Q4812319) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- S4 is Topologically Complete for (0,1): a Short Proof (Q5479024) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
