Johan van Benthem教授将在清华大学开设课程"LOGICAL DYNAMICS OF INFORMATION AND INTERACTION"。欢迎有兴趣的学生参与。

时间：星期一、星期四晚上 7：20 -- 9：45 （10月6日正式开始）
地点：六教6B303

[课程简介]LOGICAL DYNAMICS OF INFORMATION AND INTERACTION

Johan van Benthem, Amsterdam & Stanford
http://staff.science.uva.nl/~joh...

Current dynamics logics can describe information of agents and the various processes which transform this: inference, but also observation and communication. In this course will study dynamic logics that cover the major aspects of rational agency, including preferences, and strategic interaction. This work combines ideas from modal logic, philosophy, computer science, and game theory. Specific themes include:

* Knowledge and update by hard information,
* Total and partial observation,
* Belief revision and learning,
* Dynamics of inference,
* Preference and preference change,
* Games from a logical viewpoint,
* Long-term temporal processes,
* Applications to philosophy, computer science, and game theory.

By the end of the course, you will have a view of this current research area, and you should be able to apply its methodology yourself. There is a wide variety of open problems that call for this style of analysis.

Material: new book manuscript, to be made available. It would help if you had an introduction to modal logic before. For current events and people in this area, check the website www.golori.org and the Blog "Logic and Rational Interaction" : http://www.illc.uva.nl/wordpress...