Some Computational Constraints in Epistemic Logic

This paper concerns limits that some epistemic logics impose on the complexity of an epistemic agent’s reasoning, rather than limits on the complexity of the epistemic logic itself.