Non-Iterative Modal Logics Are Coalgebraic. - Jonas Forster; Lutz Schröder (AiML, 2020)

Quantitative Hennessy-Milner Theorems via Notions of Density. - Jonas Forster; Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CSL, 2023)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild (CoRR, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CoRR, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing (CMCS, 2024)

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing; Jonas Forster; Lutz Schröder; Paul Wild (STACS, 2024)

Conformance Games for Graded Semantics. - Jonas Forster; Lutz Schröder; Paul Wild (CoRR, 2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2025)