Interactive epistemology in dynamic games studies forms of strategic reasoning like backward induction and forward induction by formally representing the players' beliefs about each other, conditional on each history. Work on this topic typically relies on epistemic models where states of the...