@inproceedings{inproceedings, title = {{Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras}}, publisher = {{Springer Nature Switzerland}}, url = {{http://dx.doi.org/10.1007/978-3-031-66438-0_6 }}, year = {{2024}}, month = {{7}}, author = {{Forster J and Schröder L and Wild P and Beohar H and Gurke S and Messing K}}, doi = {{10.1007/978-3-031-66438-0_6}}, isbn = {{9783031664373}}, pages = {{114-134}}, note = {{Accessed on 2024/12/23}}}