 From a logical perspective, a study of Forward Induction requires epistemic-doxastic models with ternary world-dependent plausibility relations, combined with the public announcement updates or plausibility upgrade described above (Section 4.1.2;  see. also van Benthem 2014). No definitive logical analysis of Forward Induction has been published so far.