@inproceedings{inproceedings, title = {{Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2022}}, month = {{7}}, author = {{Beohar H and König B and Küpper S and Mika-Michalski C}}, doi = {{10.1007/978-3-031-10736-8_1}}, isbn = {{9783031107351}}, pages = {{1-22}}, note = {{Accessed on 2024/12/23}}}