Reasoning about knowledge: an overview (1986)

by J Y Halpern
Venue:in Proceedings of the Conference onTheoretical Aspects of Reasoning about Knowledge