@misc{misc, title = {{Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic}}, url = {{}}, year = {{2021}}, month = {{10}}, author = {{Beohar H and König B and Küpper S and Mika-Michalski C}}, doi = {{10.48550/arxiv.2110.09911}}, note = {{Accessed on 2024/12/23}}}