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

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