Proper rationalizability and backward induction
Order independence for rationalizability
Rationalizability
On epistemic conditions for correlated rationalizability in networks