J. Y. Halpern and Y. Moses (2014) "A Procedural Characterization of Solution Concepts in Games", Volume 49, pages 143-170
PDF | PostScript | doi:10.1613/jair.4220
We show how game-theoretic solution concepts such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms of a knowledge-based program with counterfactual semantics. In a precise sense, this program can be viewed as providing a procedural characterization of rationality.
