Describir: Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces.