@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/10/23}}}