TY  - RPRT
TI  - Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
AU  - H. Beohar
AU  - B. König
AU  - S. Küpper
AU  - C. Mika-Michalski
PY  - 2022
UR  - https://arxiv.org/abs/2110.09911
ID  - 2110.09911
ER  -