Epistemic logic for extensive-form games with unawareness

The talk would introduce a dynamic epistemic logic for extensive-form games with unawareness. It allows the authors to model epistemic conditions on beliefs, awareness and rationality whose implications for the play are subsequently explored.