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

by J Y Halpern, Y Moses