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

---

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.