Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/3890
Title: A Note on the Coalgebraic Interpretation of Game Logic
Authors: Doberkat, Ernst-Erich
Keywords: CoalgebrasGame LogicKripke ModelsBisimulationsCongruences
Issue Date: 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
Series/Report no.: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (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.
URI: http://hdl.handle.net/10077/3890
ISSN: 0049-4704
Appears in Collections:Rendiconti dell'Istituto di matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010)

Files in This Item:
File Description SizeFormat 
Doberkat RendMat42.pdf246.9 kBAdobe PDFView/Open
Show full item record


CORE Recommender

Page view(s)

849
checked on Feb 22, 2018

Download(s)

896
checked on Feb 22, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.