On Forward Induction
定义了扩展式博弈中与弱序贯均衡相关的相关策略，并证明在双人博弈中，若所有消除冗余纯策略后的简化标准型博弈存在等价结果的序贯均衡，则前向归纳成立。
A player's pure strategy is called relevant for an outcome of a game in extensive form with perfect recall if there exists a weakly sequential equilibrium with that outcome for which the strategy is an optimal reply at every information set it does not exclude. The outcome satisfies forward induction if it results from a weakly sequential equilibrium in which players' beliefs assign positive probability only to relevant strategies at each information set reached by a profile of relevant strategies. We prove that if there are two players and payoffs are generic, then an outcome satisfies forward induction if every game with the same reduced normal form after eliminating redundant pure strategies has a sequential equilibrium with an equivalent outcome. Thus in this case forward induction is implied by decision-theoretic criteria. Copyright 2009 The Econometric Society.