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 - 2025/05/30 ER -