On the Complexity of Epistemic Reasoning (1989)

by Moshe Y Vardi
Venue:In Proceedings of the Fourth Annual Symposium on Logic in Computer Science