Ronald Fagin Joseph Y. Halpern Belief, Awareness, and Limited Reasoning. . 39-76 1987 34 Artif. Intell. 1 db/journals/ai/ai34.html#FaginH87