Epistemic logic meets epistemic game theory

a comparison between multi-agent Kripke models and type spaces

2016

Paolo Galeazzi, Emiliano Lorini

Synthese 193 (7)