Games in Dynamic-epistemic Logic

  title={Games in Dynamic-epistemic Logic},
  author={Johan van Benthem and Wiebe van der Hoek},
We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 102 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

A Logic for Communication

  • A. Baltag
  • Centre for Mathematics and Computer Science,
  • 1999
Highly Influential
3 Excerpts

Extensive and Strategic Form: Games and Models for Games

  • R. Stalnaker
  • Research in Economics
  • 1999
1 Excerpt

The Logical Representation of Extensive Games

  • G. Bonanno
  • International Journal of Game Theory
  • 1993
2 Excerpts

A Formal Theory of Knowledge and Action

  • Elsevier, Amsterdam, 361–410. R. Moore
  • 1985

Similar Papers

Loading similar papers…