Backward Induction and Common Strong Belief of Rationality

We provide a syntactic framework for analyzing extensive-form games. Specifically, we correlate to every such game a “language” and axiomatization. The language and the axiomatization, are presented as a class of sound and complete models, through which we explore the epistemic conditions for the reduction process introduced by Pearce (1984) and Battigalli (1997).