with Lorini, E. , 2016, 'Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces', Synthese 193 (7), 2097-2127.