@misc{misc, title = {{Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras}}, url = {{}}, year = {{2023}}, month = {{7}}, author = {{Forster J and Schröder L and Wild P and Beohar H and Gurke S and König B and Messing K}}, doi = {{10.48550/arxiv.2307.14826}}, note = {{Accessed on 2024/10/23}}}