Abstract
Backward induction is one of the oldest concepts in game theory. There are many models to explain the epistemic foundation of backward induction in the literatures. In this thesis, we discuss and compare the similarities and differences between Aumann's model, Asheim's model and Samet's model.