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.
Type: Article
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 PDFThumbnail
View/Open
Show full item record

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



CORE Recommender

Page view(s) 20

1,004
Last Week
9
Last month
checked on Apr 1, 2020

Download(s) 20

1,002
checked on Apr 1, 2020

Google ScholarTM

Check


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