Sat May 6, 2017
105 North Gate Hall, 2:15–3:30 PM
Johan van Benthem (Amsterdam, Stanford, and Tsinghua)
Modal logic, on the cusp of philosophy and mathematics (Logic at UC Berkeley conference)
Modern modal logic started with classical issues from philosophy treated with the tools of mathematical logic. Over the years, this mixture also developed its own intrinsic themes, many of them influenced by contacts with computer science. In this lecture, I will trace some major themes in modal logic, such as expressive power, complexity, multi-modality, and increasingly also: remodeling, showing how these reflect the continued interplay of modal logic with its interdisciplinary environment, both old and new.
Ref. “Handbook of Modal Logic”, Elsevier, Amsterdam, 2006.