A nonstandard approach to the logical omniscience problem (1995)

by Ronald Fagin, Joseph Y Halpern, Moshe Y Vardi
Venue:Artif. Intell