TY - CONF T1 - Graded Semantics and聽Graded Logics for聽Eilenberg-Moore Coalgebras UR - http://dx.doi.org/10.1007/978-3-031-66438-0_6 PY - 2024/07/26 AU - Forster J AU - Schr枚der L AU - Wild P AU - Beohar H AU - Gurke S AU - Messing K ED - DO - DOI: 10.1007/978-3-031-66438-0_6 PB - Springer Nature Switzerland SN - 9783031664373 SP - 114 EP - 134 Y2 - 2025/04/13 ER -