Logic Games are Complete for Game Logics Export

@article{JvB03, abstract = {Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic.}, author = {van Benthem, Johan}, citeulike-article-id = {2883358}, citeulike-linkout-0 = {http://dx.doi.org/10.1023/A:1027306910434}, day = {1}, doi = {10.1023/A:1027306910434}, journal = {Studia Logica}, keywords = {dynamic, game, logic}, month = {November}, number = {2}, pages = {183--203}, posted-at = {2008-06-11 17:17:42}, priority = {0}, title = {Logic Games are Complete for Game Logics}, url = {http://dx.doi.org/10.1023/A:1027306910434}, volume = {75}, year = {2003} }

TY - JOUR ID - JvB03 L3 - citeulike-article-id:2883358 N2 - Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic. IS - 2 JF - Studia Logica EP - 203 TI - Logic Games are Complete for Game Logics VL - 75 SP - 183 KW - dynamic KW - game KW - logic AU - van Benthem, Johan PY - 2003/11/01/ UR - http://dx.doi.org/10.1023/A:1027306910434 ER -