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  - 2024/12/23

ER  -