Skip to content

Sequential Rationality


Definition

In an extensive-form game, let the other players follow σ−i\sigma_{-i}. Player ii's strategy σi\sigma_i is sequentially rational if, at every information set hh at which ii moves, the continuation of σi\sigma_i from hh onwards is a best response to σ−i\sigma_{-i}, that is, it maximizes ii's expected payoff from hh onwards. This must hold whether or not hh is reached when σ\sigma is played.

If hh is a single node, the expected payoff from hh is well defined. If hh contains several nodes, it is computed with a belief μ(⋅∣h)\mu(\cdot\mid h), a probability distribution over the nodes of hh, so sequential rationality is defined relative to these beliefs.


Interpretation

Sequential rationality says a player optimizes whenever she is called upon to move, not only when planning at the start of the game. It formalizes credibility: a threat or promise is credible only if carrying it out would be optimal at the moment it has to be carried out.

Entry game tree: the entrant chooses Out, ending at (0,2), or In; the incumbent then chooses Accommodate, giving (1,1) and highlighted with In, or the dashed Fight, giving (−1,−1).

The figure draws the entry game of the Examples, with payoffs listed as (entrant, incumbent). In the Nash equilibrium (Out, Fight) the incumbent's node is never reached, so the threat to fight costs her nothing. Sequential rationality asks what she would do if the node were reached: Accommodate gives 1>−11>-1, so Fight is not a credible plan, and only the highlighted path (In, Accommodate) survives.

Nash equilibrium does not impose this. In a Nash equilibrium a player must optimize at information sets that are reached with positive probability, but at unreached information sets any action is consistent with ex-ante optimality, because it does not change her payoff. This is the gap through which non-credible threats enter.

Backward induction builds a profile that is sequentially rational at every node of a perfect-information game, and subgame-perfect Nash equilibrium imposes the same requirement subgame by subgame. Where information sets contain several nodes, beliefs are needed; this leads to perfect Bayesian equilibrium.


Key Results

  • In a Nash equilibrium, each player's strategy is optimal at every information set reached with positive probability; off the path it is unrestricted.
  • In a finite game of perfect information, a pure-strategy profile in which every player is sequentially rational at every node is a backward-induction profile, hence an SPNE, and conversely.
  • At a non-singleton information set, the optimal action can change with the belief μ(⋅∣h)\mu(\cdot\mid h).
  • In multistage and repeated games, the one-stage deviation principle reduces the check to single-period deviations.

Examples

Entry game. Out gives (0,2)(0,2) to (entrant, incumbent); after In, Accommodate gives (1,1)(1,1) and Fight (−1,−1)(-1,-1). The profile (Out, Fight) is a Nash equilibrium, but Fight is not sequentially rational: at the incumbent's node, Accommodate gives 1>−11>-1. Only (In, Accommodate) is sequentially rational for both players.

Optimality depending on beliefs. An incumbent observes entry but not whether the entrant is ready (RR) or unready (UU); both nodes are in one information set. Her payoffs are: against RR, Fight −1-1 and Accommodate 11; against UU, Fight 22 and Accommodate 11. With belief μ\mu that the entrant is ready,

E[Fight]=−μ+2(1−μ)=2−3μ,E[Accommodate]=1.\mathbb{E}[\text{Fight}]=-\mu+2(1-\mu)=2-3\mu,\qquad \mathbb{E}[\text{Accommodate}]=1.

Fight is sequentially rational if and only if 2−3μ≥12-3\mu\ge1, that is μ≤13\mu\le\tfrac{1}{3}; Accommodate is sequentially rational if and only if μ≥13\mu\ge\tfrac{1}{3}. At μ=13\mu=\tfrac{1}{3} both are.


Prerequisites



Sources

Aliases: sequentially rational, sequentially rational strategy Keywords: credibility, optimal at every information set, off-path optimality, non-credible threat, beliefs at an information set, entry game Symbols: mu, sigma

Last updated: 22 October 2026 19:04