Date: Friday, 23 September, 2011 Location: 清华新斋335 1:30-3:30 PM Speaker: Patrick Girard Department of Philosophy, The University of Auckland Title: Logic in the Communities Photo Update: 3：30- 5:30 PM Speaker: Ji Ruan School of Computer Science and Engineering, The University of New South Wales Title: A Logic for Knowledge Flow in Social Networks （社交网络中的知识流的逻辑） Abstract: [...]

Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems Abstract: I will give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) [...]

Title: Model Checking Knowledge Dynamics of Multi-Agent Systems Time: 3PM, 29 May 2009 Location: Seminar room in the Centre for Logic and Information at StFX. Talk Slides: available upon request. Abstract: In this talk, I will first briefly introduce Model Checking and Multi-Agent Systems (MAS), then focus on two frameworks on modelling knowledge dynamics of [...]

I plan to give four talks about my research, in the Center for Logic and Information. The first two will be kept more introductory, and the remaining two will be more advanced. Here is my first talk given on last Friday. Solving Sum-and-Product Riddle Using Public Announcement Logic Time: 2:30PM, 22 May 2009 Location: Seminar [...]