@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/10/23}}}