A Note on the Coalgebraic Interpretation of Game Logic
Ernst–Erich Doberkat · 2010
Abstract. We propose a coalgebraic interpretation of game logic, making the results of coalgebraic logic available for this context. We study some properties of a coalgebraic interpretation, showing among others that Aczel’s Theorem on the characterization of bisimilar mod-els through spans of morphisms is valid here. We investigate also con-gruences as those equivalences on the state space which preserve the structure of the model.