A Nonstandard Approach to the Logical Omniscience Problem

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. A Nonstandard Approach to the Logical Omniscience Problem. Artificial Intelligence, 79(2):203-240, 1995. [doi]

Abstract

Abstract is missing.