 Further enrichments of the logical framework add semantic structure to the agents’ uncertainty. When unable to determine the exact situation, players may classify options with respect to plausibility. To this end, epistemic models have been equipped with plausibility orderings \(\geq_i\) for players i (Boutilier 1994; Stalnaker 1968; Baltag &amp; Smets 2008).