[tutorial] “Logic and Agency” Fall 2015

课程简介：2015年秋季学期我们组织一次专题研讨班（Tutorial on Logic and Agency），面向研究生或高年级的本科生，欢迎大家参加。本次研讨班目的在于让学生了解在agency研究领域的最新动态和前沿问题。 我们将陆续邀请国内外本领域的学者来做相关的报告和系列讲座。目前的计划如下：

9月18日 （周五）1:30-4:20； 6教6B111
刘奋荣: Epistemic logic

9月25日（周五） 1:30-4:20； 6教6B111
刘奋荣: Public announcement logic

10月8日 （周四）8:00-9:30； 新斋124
刘奋荣: Dynamic Epistemic Logic

10月14日（周三）1:30-4:20；新斋346
Alexandru Baltag： Belief Revision
Plan: belief revision, AGM, plausibility models (sphere models), the logic of conditional beliefs, updates and upgrades

10月15日（周四）1:30-4:20；新斋346
Alexandru Baltag：Belief Revision
Plan:  dynamic-doxastic attitudes, safe belief (defeasible knowledge), event-plausibility models, action priority update rule, connections to belief merge (and preference aggregation)

10月16日（周五） 1:30-4:20； 6教6B111
John Perry: The Need for Utterances in the Philosophy of Language
[ click to access: Abstract, reference 1, reference 2, reference 3 ]

10月23 日（周五） 1:30-4:20； 6教6B111
Alexandru Baltag：Belief Revision
Plan: applications to: the Surprise Exam puzzle, modelling of lying; sincerity and (dis)honesty; rationality in games and the Backward Induction Paradox.

11月2日（周一）： 1:30-4:20；新斋346
Jan van Eijck：DEL model checking
课程内容介绍：homepages.cwi.nl/~jve/courses/15/tsinghua

11月4日（周三）：1:30-4:20；新斋346
Jan van Eijck：DEL model checking
课程内容介绍：homepages.cwi.nl/~jve/courses/15/tsinghua

11月6日（周五）：1:30-4:20； 6教6B111
Malvin Gattinger：DEL model checking
课程内容介绍：homepages.cwi.nl/~jve/courses/15/tsinghua

11月9日（周一）：1:30-4:20；新斋346
Johan van Benthem：Logics of perfect information games
Reference: Johan van Benthem,  Logic in Game, The MIT Press, 2014
课程内容介绍：[click to access .pdf file]

11月11日（周三）：1:30-4:20；新斋346
Johan van Benthem：Logics of games in strategic form

11月13日（周五）：1:30-4:20；6教6B111
Johan van Benthem：Game logics, strategies, and automata

11月16日（周一）：1:30-4:20；新斋346
Johan van Benthem：Other perspectives: natural language and games

与本课程相关的其他活动：

• 金岳霖学术研讨会：10月17-19日；郑裕彤讲堂
• 10月17日晚 7:30-9:00  郑裕彤讲堂
  Jin Yuelin Lecture “The Great Detour” by John Perry
• 第三届清华逻辑论坛：  10月20-21日 主楼324会议室