See Friedenberg &amp; Keisler (2010) for the strongest versions of the above results. Analogues of the above results have been proven using different game models (e.g., epistemic models, epistemic-plausibility models, etc.). For example, see Apt &amp; Zvesper (2010) proofs of corresponding theorems using Kripke models.