The following pages link to Logics of metric spaces (Q5267430):
Displayed 8 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Logics for approximate and strong entailments (Q1759706) (← links)
- Continuous accessibility modal logics (Q2686094) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- A logic for metric and topology (Q5718689) (← links)