The following pages link to The d-logic of the real line (Q4914415):
Displaying 7 items.
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- (Q4636043) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- Dunn's relevant predication, real properties and identity (Q5947113) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)