The following pages link to (Q3509066):
Displaying 6 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- (Q3085174) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)