@inproceedings{inproceedings, title  = {{Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic}},

 publisher = {{Springer Nature}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/189501 }},

 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}},

 journal = {{Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings}},

 issue = {{13225}},

 pages = {{1-22}},

 note = {{Accessed on 2025/11/20}}}