课程题目： LOGIC IN GAMES

课程简介：An intensive seminar on recent contacts between 
logic and game theory. We will survey three main
directions, identifying results and open problems.

报告人：Johan van Benthem, Amsterdam & Stanford
http://staff.science.uva.nl/%7Ejohan

时间和地点：

5月3日（周四） 

地点：清华大学新斋324会议室
上午10-12    Logic in games, an overview of connections
下午14-16    Modal logics of game structure (action & preference)

5月4日（周五）

地点：清华大学新斋335会议室
上午10-12    Dynamic logic of games and strategic powers
下午14-16    Dynamic epistemic logic and theory of play