Special Session LIRa Seminar on Logic and Games

Thursday 15 December we will have a special LIRa session on Logic and Games.

The session will start at 15:00 hrs, and will take place in A1.08 in Science Park. The special session will have the following program:

15:00-15:40 Johan van Benthem
(Amsterdam and Stanford)
“Keeping it Simple” in a Theory of Play

In the art of modeling, it often holds that ‘small is beautiful’. I will discuss various logical models for analyzing games, and the dynamic logics they give rise to, trying to make upward jumps in complexity only when really needed. I also relate this to best design for a ‘Theory of Play’.

15:40-15:50 Questions and Discussion
15:50-16:00 Coffee Break

16:00-16:40 Paolo Turrini and Davide Grossi
(Luxembourg and Liverpool)
Short Sight in Extensive Games

I will talk about a class of games in extensive form where players take strategic decisions while not having access to the terminal histories of the game, hence being unable to solve it by standard backwards induction. This class of games will be explored along two directions: first, by providing an appropriate refinement of the subgame perfect equilibrium concept, a corresponding extension of the backwards induction algorithm and an equilibrium existence theorem; second, by showing that these games are a well-behaved subclass of a class of games with possibly unaware players recently studied in the literature. What I will present is joint work with Davide Grossi, University of Liverpool.

16:40-16:50 Questions and Discussion
16:50-17:00 Coffee Break
17:00-17:15 General Discussion & Drinks