Vardi M. A non-standard approach to the logical omniscience problem (1995)

by R Fagin, Halpern JY
Venue:Proceedings of the Third Conference on Theoretical .Aspects of Reasoning about Knowledge TARK 90 . 1990. pp 41]55. J Artif Intell