Options
A Note on the Coalgebraic Interpretation of Game Logic
Doberkat, Ernst-Erich
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 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.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Publisher
EUT Edizioni Università di Trieste
Source
Ernst-Erich Doberkat, "A Note on the Coalgebraic Interpretation of Game Logic", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 191-203
Languages
en
File(s)