Reasoning about knowledge: An overview (1986)

by J Y Halpern
Venue:Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge