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 | 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 | Size | Format | |
---|---|---|---|---|
Doberkat RendMat42.pdf | 246.9 kB | Adobe PDF | ![]() View/Open |
CORE Recommender
Page view(s) 20
1,106
checked on Jan 26, 2023
Download(s) 20
1,095
checked on Jan 26, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.