The following pages link to The d-logic of the real line (Q4914415):
Displaying 4 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
