On the Logic of Generalised Metric Spaces. - Octavian Babus; Alexander Kurz 001 (CMCS, 2016)