A Mini-Guide to Logic in Action

Abstract

Current 'logical dynamics' systems describe updates in communication, belief revision steps triggered by surprising new information, or other immediate responses to observed events. But such single steps live in a much larger temporal universe of long-term, perhaps even infinite, phenomena: the realm of temporal logic. In this lecture, we discuss what happens when we try to merge these local and global perspectives. Issues include: the role of infinity in logical tasks, connections between dynamic logics of update/revision and temporal logics, modelling local dynamics versus 'prepackaging', and potential interfaces between logic and dynamical systems.