A guide to the modal logics of knowledge and belief: Preliminary draft (1985)

by J Y Halpern, Y Moses
Venue:in: A.K. Joshi (Ed.), Proceedings of the 9th International Joint Conference on Artificial Intelligence, IJCAI