The following pages link to Logics of metric spaces (Q5267430):
Displaying 16 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)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Decidable metric logics (Q999264) (← links)
- Logics for approximate and strong entailments (Q1759706) (← links)
- Continuous accessibility modal logics (Q2686094) (← links)
- (Q3085174) (← links)
- Logic for metric structures and the number of universal sofic and hyperlinear groups (Q3190346) (← links)
- (Q3509066) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- (Q4551182) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)
- (Q5196789) (← links)
- A logic for metric and topology (Q5718689) (← links)