Jago, M. (2006). Rule-based and Resource-bounded: A New Look at Epistemic Logic.