\input zb-basic
\input zb-ioport
\iteman{io-port 05898610}
\itemau{Doberkat, Ernst-Erich}
\itemti{A note on the coalgebraic interpretation of game logic.}
\itemso{Rend. Ist. Mat. Univ. Trieste 42, 191-203 (2010).}
\itemab
Summary: 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 models through spans of morphisms is valid here. We investigate also congruences as those equivalences on the state space which preserve the structure of the model.
\itemrv{~}
\itemcc{}
\itemut{game logic; Kripke models; bisimulations; congruences}
\itemli{}
\end