Abstract

In this paper, we introduce a notion of "epistemic action" to describe changes in the information states of the players in a game. For this, we use ideas that we have developed in our previous papers [BMS], [BMS2] and [B], enriching them to cover, not just purely epistemic actions, but also fact-changing actions ("real moves", e.g. choosing a card, exchanging cards etc.) and nondeterministic actions and strategies (conditional actions having knowledge tests as conditions). We consider natural operations with epistemic actions and we use them to describe significant aspects of the interaction between beliefs and actions in a game. For this, we use a logic that combines in a specific way a multi-agent epistemic logic with a dynamic logic of "epistemic actions". We give (without proof) a complete and decidable proof system for this logic. As an application, we analyze a specific example of a dialogue game (a version of the Muddy Children Puzzle, in which some of the children can ...

Citations

1191	Reasoning about knowledge - Fagin, Halpern, et al. - 1995
172	The logic of public announcements, common knowledge, and private suspicions - Baltag, Moss, et al. - 1998
130	Bisimulations on planet kripke - Gerbrandy - 1999
103	Logics of public communications - Plaza
76	Reasoning about information change - Gerbrandy, Groeneveld - 1997
29	A logic of epistemic actions - Baltag - 2000
11	Benthem. Games in dynamic-epistemic logic - van
2	Hintikka Self-applied': an essay on the epistemic logic of imperfect information games - Benthem - 2000
1	The Dynamic Logic of Epistemic Actions. Unpublished manuscript - Baltag - 2000
1	Eijk, Epistemic Action and Change. Presented at LOFT4 - Bleeker - 2000
1	Information Update as Relativisation. Unpublished Manuscript - Benthem - 2000