A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft (1985)

by Joseph Y Halpern, Yoram Moses
Venue:In 9th International Conference on Artificial Intelligence