A guide to completeness and complexity for modal logics of knowledge and belief. Halpern, J. & Moses, Y. Artificial Intelligence, 1992.
bibtex   
@article{Halpern1992,
author = {Halpern, J.Y. and Moses, Yoram},
issn = {0004-3702},
journal = {Artificial Intelligence},
number = {3},
title = {{A guide to completeness and complexity for modal logics of knowledge and belief}},
volume = {54},
year = {1992}
}

Downloads: 0