as hard as the Halting Problem). g. Levesque 1984; Stalnaker 1991; 1999). Another reaction has been to attempt to modify the interpretation of the language of epistemic logic to mitigate the effects of (i) and (ii). g. through the use of so-called impossible worlds (Rantala 1982), awareness models (Fagin and Halpern 1988), or local models (Fagin and Halpern 1988). g. that knowledge of a conjunction entails knowledge of its conjuncts). An approach to logical omniscience which explicitly takes com