Adam J. Grove: Topics in multi-agent epistemic logic. Stanford University, USA 1992