A Nonstandard Approach to the Logical Omniscience Problem.

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Browse the full TARK paper archive.