On the Logic of Generalised Metric Spaces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

On the Logic of Generalised Metric Spaces

Octavian Babus
  • Fonction : Auteur
  • PersonId : 999356
Alexander Kurz
  • Fonction : Auteur
  • PersonId : 999357

Résumé

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}$.
Fichier principal
Vignette du fichier
418352_1_En_9_Chapter.pdf (481.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01446037 , version 1 (25-01-2017)

Licence

Paternité

Identifiants

Citer

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⟩
133 Consultations
164 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More