 Reasoning policies of the above type are called Forward Induction. Battigalli and Siniscalchi (2002) and Brandenburger (2007), analyze Forward Induction in extensive form games based on its known tight connection with Iterated Removal of Weakly Dominated Strategies in strategic form games. The following example involving explicit reasoning is from Perea (2012).