Theory and Decision

, Volume 37, Issue 1, pp 7–48

The epistemic structure of a theory of a game

  • Michael Bacharach

DOI: 10.1007/BF01079204

Cite this article as:
Bacharach, M. Theor Decis (1994) 37: 7. doi:10.1007/BF01079204


This paper is a contribution to the systematic study of alternative axiom-sets for theories of (normal-form, complete-information) games. It provides an introduction to epistemic logic, describes a formulation in epistemic logic of the structure of a theory of a game (the ‘broad theory’ of that game), and applies methods of epistemic logic to define strategies for dealing with two disturbing features of game theory, its hyperrationality assumptions and its indeterminacy. The analysis of these problems is conducted in terms of two principles which impregnate much game theory, Cleverness and Cloisteredness (the principles that players know respectively all, and only, the logical consequences of their assumed knowledge). Broad theories allow us to formulate and revise these principles despite their metatheoretical character. It is shown how Cleverness may be weakened by using logics which restrict the Rule of Epistemization, and Cloisteredness by using default logic or autoepistemic logic; the latter is used to characterize Nash equilibrium beliefs as parts of certain autoepistemic extensions of players' knowledge bases, but these particular extensions are rejected as ungrounded.


epistemic logic game theory formal theory of rational play logical omniscience impossible world default autoepistemic logic groundedness 

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Michael Bacharach
    • 1
  1. 1.Institute of Economics and StatisticsOxfordUK

Personalised recommendations