These models have also been subjected to sophisticated logical analyses (Fagin, Halpern, &amp; Megiddo 1990; Heifetz &amp; Mongin 2001) complementing the logical frameworks discussed above (cf. Baltag &amp; Smets 2006).