Skip to content

Forward Induction


Definition

Forward induction is a principle for selecting among equilibria of an extensive-form game. A player who observes an earlier move interprets it as a deliberate choice by a rational opponent: if the move could only have been worthwhile for the mover under some continuations, the observer expects those continuations. In particular, play after a move is not expected to give the mover less than she could have secured by choosing differently earlier.

The course mentions forward induction only briefly, as a minor remark.

Forward induction is an idea rather than a single equilibrium concept. It is used to discard some subgame-perfect Nash equilibria; formal versions include iterated elimination of weakly dominated strategies in the normal form and stable equilibria (Kohlberg–Mertens).


Interpretation

Backward induction evaluates the present by looking at the future: what will be optimal later determines what is optimal now. Forward induction looks at the past to predict the future: what a player already did reveals what she intends to do. The two can point in different directions when a subgame has several equilibria.

Outside-option game tree: player 1 takes Out for (2,2) or In; after In the path A, a to the payoff (3,1) is highlighted, while B could give player 1 at most 1.

The figure draws the outside-option game of the Examples. After In, player 2 cannot see whether player 1 chose AA or BB (dashed information set), and this subgame on its own has several equilibria. Forward induction reads the move In itself: player 1 gave up the sure 22 of Out, and BB can give her at most 1<21<2, so she must intend AA. Player 2 then plays aa, and only the highlighted path to (3,1)(3,1) survives.

Subgame perfection treats every subgame as if it started afresh, ignoring how play arrived there. Forward induction adds the information carried by the path. It does not reject subgame perfection; it selects among subgame-perfect equilibria.

Claims should be kept modest: different formalizations can select differently in more complicated games, and forward-induction arguments assume that rationality of the earlier mover is believed even after a move that some equilibria treat as a mistake.


Key Results

  • A move that gives up a sure payoff vˉ\bar v is consistent with rational choice only if the mover expects at least vˉ\bar v from continuing. Rationality alone rules out continuations whose best possible payoff is strictly below vˉ\bar v; a tie is not enough. Inferring a strict improvement requires an additional assumption about choosing between tied alternatives.
  • In the normal form this often appears as a strictly dominated strategy for the mover (an action plan worse than the outside option), followed by weak dominance for the observer.
  • Forward-induction arguments select among existing equilibria (in the examples here, among the SPNE); they do not create new equilibria.
  • In the burning-money game (Battle of the Sexes preceded by player 1's option to publicly destroy one unit of her own payoff), iterated elimination of weakly dominated strategies leaves only the outcome in which player 1 does not burn and the players coordinate on her preferred equilibrium.

Beyond the course

In signalling games, the intuitive criterion (Cho and Kreps) applies the same reasoning to off-path beliefs in a perfect Bayesian equilibrium: after a message that no type sends, beliefs should put no weight on a type that could not gain from it, compared with its equilibrium payoff, whatever the receiver's response. The course does not cover it.


Examples

Outside option. Player 1 chooses Out, giving (2,2)(2,2), or In, after which both play simultaneously: (A,a)↦(3,1)(A,a)\mapsto(3,1), (B,b)↦(1,3)(B,b)\mapsto(1,3), and (0,0)(0,0) after miscoordination. This game has three SPNE, with outcomes (3,1)(3,1) via (In AA, aa), and (2,2)(2,2) via (Out BB, bb) and via Out with the mixed subgame equilibrium.

Forward induction: if player 2 sees In, she reasons that player 1 gave up 22. Playing BB after In gives player 1 at most 1<21<2, while AA can give 3>23>2. So player 1 must intend AA, and player 2's best response is aa. Only (In AA, aa) survives.

The same argument through dominance. In the reduced normal form, where the payoff-equivalent plans (Out, AA) and (Out, BB) are merged into Out, the strategy (In, BB) gives player 1 either 00 or 11 and is strictly dominated by Out, which gives 22. Remove it. Against the remaining strategies (Out, In AA), player 2 gets 22 from both aa and bb against Out, while against In AA she gets 11 from aa and 00 from bb, so bb is weakly dominated. Remove bb. Now player 1 compares In AA (33) with Out (22) and chooses In AA.


Prerequisites



Sources

Aliases: forward-induction reasoning, forward induction argument Keywords: outside option, burning money, equilibrium selection, refinement of SPNE, iterated weak dominance

Last updated: 27 October 2026 11:52