%0 Conference Proceedings
%T On the Logic of Generalised Metric Spaces
%+ University of Leicester
%A Babus, Octavian
%A Kurz, Alexander
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Eindhoven, Netherlands
%Y Ichiro Hasuo
%3 Coalgebraic Methods in Computer Science
%V LNCS-9608
%P 136-155
%8 2016-04-02
%D 2016
%R 10.1007/978-3-319-40370-0_9
%Z Computer Science [cs]Conference papers
%X 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:\varOmega \text {-}\mathsf {Cat}\rightarrow \varOmega \text {-}\mathsf {Cat}$ in order to obtain the modal operators and axioms describing transitions of type <i>T</i>. Here we give a logical description of the dual of $\varOmega \text {-}\mathsf {Cat}$.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01446037/document
%2 https://inria.hal.science/hal-01446037/file/418352_1_En_9_Chapter.pdf
%L hal-01446037
%U https://inria.hal.science/hal-01446037
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-LNCS-9608
%~ IFIP-WG1-3
%~ IFIP-CMCS