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

by J Halpern, Y Moses
Venue:IJCAI