On the Logic of Generalised Metric Spaces
Document Type
Conference Proceeding
Publication Date
2016
Abstract
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.
Recommended Citation
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
Copyright
Springer
Comments
This is a pre-copy-editing, author-produced PDF of a paper presented at the International Workshop on Coalgebraic Methods in Computer Science (CMCS) in 2016 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1007/978-3-319-40370-0_9.