On the Logic of Generalised Metric Spaces
The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor T : Ω-Cat /Ω-Cat in order to obtain the modal operators and axioms describing transitions of type T. Here we give a logical description of the dual of Ω-Cat.
Babus O., Kurz A. (2016) On the Logic of Generalised Metric Spaces. In: Hasuo I. (eds) Coalgebraic Methods in Computer Science. CMCS 2016. Lecture Notes in Computer Science, vol 9608. Springer, Cham