%0 Conference Proceedings
%T Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
%+ Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg (FAU)
%A Dorsch, Ulrich
%A Milius, Stefan
%A Schröder, Lutz
%A Wissmann, Thorsten
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Thessaloniki, Greece
%Y Corina Cîrstea
%I Springer International Publishing
%3 Coalgebraic Methods in Computer Science
%V LNCS-11202
%P 56-77
%8 2018-04-14
%D 2018
%R 10.1007/978-3-030-00389-0_5
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02044640/document
%2 https://inria.hal.science/hal-02044640/file/473364_1_En_5_Chapter.pdf
%L hal-02044640
%U https://inria.hal.science/hal-02044640
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-11202