TITLE: In praise of strategies, but how?

SPEAKER: Johan van Benthem

ABSTRACT: We look at a number of ways in which strategies can be made explicit entities in 
logical systems, and then discuss how such calculi of strategies can be integrated 
naturally with (a) temporal logic, (b) 'game semantics', and (c) game theory. 
We will also mention some connections to work by various other researchers 
at the Logic and Games interface, some of them present at this Workshop. 

REF: 
  
J. van Benthem, 2008, 'In Praise of Strategies', ILLC Report. To apear in J. van Eijck  
& R. Verbrugge, eds., follow-up book to NIAS project Games Action and Social Software. 

J. van Benthem, 2009, "Logical Dynamics of Information and Interaction", 
book manuscript, ILLC UvA, to appear with Cambridge University Press.