Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Résumé

We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbourhood-based system types. We prove a generic Kleene-type theorem establishing a correspondence between our expressions and finite systems. Our expression language is similar to one introduced in previous work by Myers but has a semantics defined in terms of a particular form of predicate liftings as used in coalgebraic modal logic; in fact, our expressions can be regarded as a particular type of modal fixed point formulas. The predicate liftings in question are required to satisfy a natural preservation property; we show that this property holds in particular for the Moss liftings introduced by Marti and Venema in work on lax extensions.
Fichier principal
Vignette du fichier
473364_1_En_5_Chapter.pdf (453.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02044640 , version 1 (21-02-2019)

Licence

Identifiants

Citer

Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wissmann. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩. ⟨hal-02044640⟩
52 Consultations
73 Téléchargements

Altmetric

Partager

More