Seminar | May 6 | 2:15-3:30 p.m. | 105 North Gate Hall
Johan van Benthem, University of Amsterdam, Stanford University, Tsinghua University
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.