Johan van Benthem 
<p>

<h2>
Logic in games: a tour at the interface
</h2>

<p>

Logic meets with games in two ways: logic can help analyze games,
and be a partner to game theory. But games can also analyze logic,
as we know from the work of Ehrenfeucht, Lorenzen, and Hintikka.
The two perspectives meet in various places, starting from Zermelo's
famous theorem on determined games. This lecture is mainly about
using modern logics to understand what makes game solution tick,
in particular Backward Induction. But we will also show the dual
aspect of using these insights to understand 'logic games' themselves.


<br><br>

<STRONG>References</STRONG>


<p>


J. van Benthem, 2010, "Logical Dynamics of Information and
Interaction", Cambridge University Press. 

<p>
J. van Benthem, 2011,
"Logic in Games", lecture notes, ILLC Amsterdam, to appear with
Springer Lecture Notes in AI. 
<p>
J. van Benthem & A. Gheerbrant,
2010, 'Game Solution, Epistemic Dynamics and Fixed-Point
Logics', Fundamenta Informaticae 100.