Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages - Coalgebraic Methods in Computer Science
Conference Papers Year : 2018

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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⟩
49 View
70 Download

Altmetric

Share

More