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 [...]

This is a dedicated page of my PhD thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

Ji: I can approve that this is a very interesting place to be, and the program is great. ================================================== [Please forward the following message to interested students with a(n expected) BSc degree in Mathematics or Computer science or a BA degree in Philosophy or Linguistics. We also have a PDF file of the poster available [...]

August 2009 Update: Final version is available here. July 2009 Update: This paper has been accepted by the JLC. March 2009 Update: The Journal of Logic and Computation (JLC) has sent us back the reviews, and we need a revision before it gets accepted.

Summary: This dialogue was made in Beijing, August 2007. Johan reflected the developement of his own career to shed some lights on young Chinese logicians. He also reviewed the historical development of modal logic and the new trends. If you are thinking about the value of logics, either theoretical or practical, you could also find [...]

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical [...]