LIRa session: Johan van Benthem

On November 29, Johan van Benthem will give a LIRa talk.
Everyone is cordially invited!

Speaker: Johan van Benthem (Amsterdam and Stanford University)
Title: Reasoning about strategies
Room: Science Park 904, Room C1.112
Time: Thursday, 29 November, 15:30-17:30

Abstract: Underneath many uses of games in logic (and vice versa), there lies a basic practice of strategic reasoning that shows recurrent patterns. I will look at a number of simple examples, and discuss the contours of a calculus of strategic reasoning that makes sense for logic, game theory, and related topics in the foundations of computation such as graph games.

Ref. J. van Benthem, “Logic in Games”, to appear with The MIT Press, 2013.