OpenstarTs >
EUT-Periodici >
Rendiconti dell’Istituto di matematica dell’Università di Trieste: an International Journal of Mathematics >
Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.42 (2010) >

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: Coalgebras
Game Logic
Kripke Models
Bisimulations
Congruences
Issue Date: 2010
Publisher: EUT Edizioni Università di Trieste
Citation: 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
MS Classification 2000: 68N30
03B45
68Q85
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
View Statistics

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