The following pages link to (Q3085165):
Displaying 10 items.
- Topology and duality in modal logic (Q1101436) (← links)
- Logic, topology, and integration (Q1893128) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Logics of space with connectedness predicates: complete axiomatizations (Q2904067) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- (Q3699689) (← links)
- (Q3994458) (← links)
- Some Connections between Topological and Modal Logic (Q4323831) (← links)
- A mereotopology based on sequent algebras (Q4586239) (← links)