OUCS-2001-02 The description of game actions in Cluedo

  title={OUCS-2001-02 The description of game actions in Cluedo},
  author={Hans van Ditmarsch},
Game actions in the well-known murder game Cluedo involve interactions of di erent subgroups of players, that result in complex knowledge changes. We introduce a dynamic epistemic language to describe actions in Cluedo in formal detail. This provides us with a precise description of Cluedo strategies. Optimal strategies are not yet known. 
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
12 Citations
18 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 18 references

Descriptions of game states

  • H. P. van Ditmarsch, W. van der Hoek, B. P. Kooi
  • Proceedings of LLC9,
  • 2001

Modal Logic

  • P. Blackburn, M. de Rijke, Y. Venema
  • Cambridge Tracts in Theoretical Computer Science
  • 2001

The semantics of concurrent knowledge actions

  • H. P. van Ditmarsch
  • ESSLLI 2001 workshop on Logic and Games,
  • 2001

Dynamic Logic Foundations of Computing Series

  • D. Harel, D. Kozen, J. Tiuryn
  • 2000

Knowledge games

  • H. P. van Ditmarsch
  • PhD thesis, University of Groningen,
  • 2000

A logic of epistemic actions

  • A. Baltag
  • 1999

Bisimulations on Planet Kripke

  • J. D. Gerbrandy
  • PhD thesis, University of Amsterdam,
  • 1999

Similar Papers

Loading similar papers…