 Further game solution concepts can be analyzed with logics of iterated update. In particular, iterated updates are not restricted to extensive form games, but can also provide insights for games in strategic form. A paradigmatic algorithm is Iterated Removal of Strictly Dominated Strategies \((SD^\infty)\). In this setting, a strategy is considered dominated if there exists another strategy that yields a strictly higher payoff against any of the opponent’s actions.