# On the Logic of Generalised Metric Spaces

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:\varOmega \text {-}\mathsf {Cat}\rightarrow \varOmega \text {-}\mathsf {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 $\varOmega \text {-}\mathsf {Cat}$.
Document type :
Conference papers
Domain :

Cited literature [23 references]

https://hal.inria.fr/hal-01446037
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:41 PM
Last modification on : Thursday, January 26, 2017 - 9:12:17 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 4:02:58 PM

### File

418352_1_En_9_Chapter.pdf
Files produced by the author(s)

### Citation

Octavian Babus, Alexander Kurz. On the Logic of Generalised Metric Spaces. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩. ⟨hal-01446037⟩

Record views