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

by Joseph Halpern, Yoram Moses
Venue:In Proceedings of the Ninth International Joint Conference on Arti Intelligence