Jago, Mark, "Rule-based and Resource-bounded: A New Look at Epistemic Logic", , 2006