2026-08-19T12:07:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9575 2024-03-06T10:44:45Z ddc:004 open_access

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras König, Barbara Mika-Michalski, Christina coalgebra bisimulation games spoiler-defender games behavioural metrics modal logic Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-defender games. In this paper we review these three perspectives in a coalgebraic setting, which allows us to generalize from the particular branching type of a transition system. We are interested in qualitative notions (classical bisimulation) as well as quantitative notions (bisimulation metrics). Our first contribution is to introduce a spoiler-defender bisimulation game for coalgebras in the classical case. Second, we introduce such games for the metric case and furthermore define a real-valued modal coalgebraic logic, from which we can derive the strategy of the spoiler. For this logic we show a quantitative version of the Hennessy-Milner theorem. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Barbara König and Christina Mika-Michalski 2018 Is Part Of LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2018.37 urn:nbn:de:0030-drops-95757 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.37 eng https://creativecommons.org/licenses/by/3.0/legalcode