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

by J Y Halpern, Y Moses
Venue:Proceedings of the IJCAI-85