TY - CONF T1 - Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic PY - 2022/07/23 AU - Beohar H AU - König B AU - Küpper S AU - Mika-Michalski C ED - DO - DOI: 10.1007/978-3-031-10736-8_1 PB - Springer International Publishing SN - 9783031107351 SP - 1 EP - 22 Y2 - 2024/12/22 ER -