After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Epistemic game theory formalizes assumptions about rationality and mutual beliefs in a
formal language, then studies their behavioral implications in games. Specifically, it asks …

Foundational work in game theory aims at making explicit the assumptions that underlie the
basic concepts of the discipline. Non-cooperative game theory is the study of individual …

Benaloh challenge allows the voter to audit the encryption of her vote, and in particular to
check whether the vote has been represented correctly. An interesting analysis of the …

In this paper, we give a historical overview of the transition from classical game theory to
epistemic game theory. To that purpose we will discuss how important notions such as …

In this paper we want to shed some light on what we mean by backward induction and
forward induction reasoning in dynamic games. To that purpose, we take the concepts of …

We introduce a framework for modeling pairwise interactive beliefs and provide an epistemic
foundation for Nash equilibrium in terms of pairwise epistemic conditions locally imposed on …

This is the first draft of a chapter for the forthcoming Handbook of Epistemic Logic, edited by
Hans van Ditmarsch, Joe Halpern, Wiebe van der Hoek and Barteld Kooi (College …

In this paper we focus on stochastic games with finitely many states and actions. For this
setting we study the epistemic concept of common belief in future rationality, which is based …

Correlated equilibrium constitutes one of the basic solution concepts for static games with
complete information. Actually two variants of correlated equilibrium are in circulation and …