The semantics of actions in knowledge games
Hans P. van Ditmarsch · 1999
2 S s : V s 0 (c p ) = 1 , s 0 (c) = p. A pointed multimodal S5 model is called a knowledge state. A knowledge state for a set of agents B is called a B knowledge state. Every state of a knowledge game is a knowledge state. A game action is a knowledge state transforming operation. 2 Uniform knowledge programs An action transforming a knowledge state can be described by a knowledge program. We define the class of uniform knowledge programs (UKP). Many actions in knowledge games [Ditmarsch 99] can be modelled as deterministic uniform knowledge programs. This includes all game actions in Cluedo, such as showing a card (only) to another player given a request for one of three cards. The class of uniform knowledge programs<