A guide to completeness and complexity for modal logics of knowledge and belief (1992)

by J Y Halpern, Y Moses
Venue:Artificial Intelligence