Octavian Babus, Alexander Kurz. On the Logic of Generalised Metric Spaces. In Ichiro Hasuo, editor, Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Volume 9608 of Lecture Notes in Computer Science, pages 136-155, Springer, 2016. [doi]
Abstract is missing.