报告的主要内容是动作与逻辑。这是模态逻辑中最活跃和最成功的部分，可能没有之一。

Title: Logic and Action

Speaker: Jan van Eijck

Homepage: http://homepages.cwi.nl/~jve/

Date: 10:00-12:00, 5th, Nov.

Location: Room 110, Teaching Building 4, Beijing Normal University

                 北京师范大学教4楼110教室

Abstract: An action is something that takes place in the world, and that makes a difference to what the world looks like. Thus, actions are maps from states of the world to new states of the world. Actions can be of various kinds. The action of spilling coffee changes the state of your trousers. The action of telling a lie to your friend changes your friend’s state of mind (and maybe the state of your soul).  The action of multiplying two numbers changes the state of certain registers in your computer.  Despite the differences between these various kinds of actions, we will see that they can all be covered under the same logical umbrella; The talks starts with an overview of what is in Chapter 6 of the Logic in Action course book. If there is time, we will also look at various ways of turning Propositional Dynamic Logic or PDL into a tool for modelling strategic reasoning and for reasoning about the outcomes of actions under uncertainty.