A Guide to the Modal Logics of Knowledge and Belief, (1985)

by J Y Halpern, Y O Moses
Venue:in Proc. of the Ninth International Joint Conference on Artificial Intelligence,