Reasoning about knowledge: An overview (1986)

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