Descriptions of game actions

Journal of Logic, Language and Information 11 (3):349-365 (2002)
  Copy   BIBTEX


To describe simultaneous knowledge updates for different subgroups we propose anepistemic language with dynamic operators for actions. The language is interpreted onequivalence states (S5 states). The actions are interpreted as state transformers. Two crucial action constructors are learning and local choice. Learning isthe dynamic equivalent of common knowledge. Local choice aids in constraining theinterpretation of an action to a functional interpretation (state transformer).Bisimilarity is preserved under execution of actions. The language is applied todescribe various actions in card games.



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

38 (#382,363)

6 months
4 (#477,225)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Resolving distributed knowledge.Thomas Ågotnes & Yì N. Wáng - 2017 - Artificial Intelligence 252 (C):1-21.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.

View all 12 citations / Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.

View all 6 references / Add more references