LIRa Session: Joshua Sack

Please note that in February and March the LIRa seminar will be held on WEDNESDAYS at 4:30.

On Wednesday, March 19, we will have a LIRa session with Joshua Sack.

Everyone is cordially invited!

Speaker: Joshua Sack (University of Amsterdam)
Title: Modal Logic for Mixed Strategies in Games
Date and Time: Wednesday, March 19, 2014, 16:30-18:00
Venue: Science Park 107, Room F1.15

Mixed strategies are useful for reasoning about equilibria in games.  Although it is true that every finite strategic form game has a Nash equilibrium, this is not true if one restricts oneself to pure strategies, as can be exemplified by the Matching Pennies Game. This talk introduces Modal Logic for Mixed Strategies, a modal logic that can reason about mixed strategies and mixed Nash equilibria in games.  A sound and strongly complete proof system for it is given that makes use of a number of non-standard infinitary rules.