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 - 2025/05/23 ER -