Halpern, Joseph Y. - EconWPA - 2000
Aumann has proved that common knowledge of substantive rationality implies the backwards induction solution in games of perfect information. Stalnaker has proved that it does not. Roughly speaking, a player is substantively rational if, for all vertices $v$, if the player were to reach vertex...