TY - GEN T1 - Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic T2 - arXiv PY - 2021/10/19 AU - Beohar H AU - König B AU - Küpper S AU - Mika-Michalski C ED - DO - DOI: 10.48550/arxiv.2110.09911 Y2 - 2024/12/23 ER -