Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, February 21, 2019 - 3:40:57 PM
Last modification on : Thursday, February 21, 2019 - 3:48:41 PM
Long-term archiving on: : Wednesday, May 22, 2019 - 4:37:38 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads