with van Ditmarsch, H. , 2007, 'My beliefs about your beliefs: a case study in theory of mind and epistemic logic', Synthese 155 (2), 191-209.