Title

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.

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.

Copyright

Springer

Share

COinS