A nonstandard approach to the logical omniscience problem (1995)

by R Fagin, J Y Halpern, M Y Vardi
Venue:Artificial Intelligence