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):
Displayed 7 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Dynamic topological logic (Q705534) (← links)
- Dynamic measure logic (Q714709) (← 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)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)