Converging Paradigms?
Comparing Temporal Frameworks
for Logics of Knowledge, Belief, Action, and Choice

Institute for Logic, Language and Computation

Universiteit van Amsterdam

December 19, 2006

  Date Tuesday, December 19, 2006
  Time 9:30 - 18:30
  Location P.017 Euclides




Various research communities have been occupied with developing formal models of social interactive situations. These different communities often focus on different aspects of social interaction. For example, game theorists study strategic aspects, while linguists, computer scientists, and philosophers have focused on the flow of information between the agents over time, terminating or infinite. Bringing these insights together requires logical frameworks of suitable power, perspicuity, and appeal. Much current logical research is directed toward designing formal models of social interactive situations and matching logical languages. Key topics include temporal modalities, individual and collective knowledge, beliefs, actions (both competitive and cooperative), and game models of computation and general interaction. We will bring together leading researchers that have worked on developing such logical systems for intelligent interaction for a 1-day workshop, trying to compare systems and their underlying broader research agendas. The workshop will be a venue to discuss both technical and conceptual questions. In particular, we expect to see the contours of a merge between (a) `short-term approaches' based on dynamic logics of individual actions, update and revision steps that construct new information states, and (b) `long-term approaches' based on temporal logics that can run over infinite time, as happens in unbounded computation, dynamical systems theory, or evolutionary game theory.

  The speakers will give a talk for about 50 minutes followed by a discussion period.
  9:30 - 9:55 Coffee
  9:55 - 10:00 Opening Remarks
  10:00 - 11:00


Johan van Benthem

  11:00 - 11:30 Coffee & Discussion
  11:30 - 12:30

Comparing Dynamic Epistemic Logic and Interpreted Systems

Wiebe van der Hoek

Discussant: Yanjing Wang

  12:30 - 14:00 Lunch
  14:00 - 15:00

A Uniform Multiagent Framework for Modelling and Reasoning about Ineractive Systems

Valentin Goranko

Discussant: Jan Broersen

  15:00 - 15:15 Coffee & Discussion
  15:15 - 16:15 Comparing Process Algebra and Dynamic Epistemic Logic

Jan van Eijck

Discussant: Eric Pacuit
  16:15 - 16:30 Coffee & Discussion
  16:30 - 17:30

Comparing STIT Logic with ATL

Andreas Herzig

Discussant: Barteld Kooi

  17:30 - 18:30

Comments on Fibring Logics

Dov Gabbay