What predictions about behavior in extensive form games can we rigorously justify as implied by rationality or mutual or common knowledge of that rationality? This paper models rational belief revision in extensive form games and uses numerical methods to examine the implications for equilibrium...