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

by J Y HALPERN, Y MOSES
Venue:In Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85