Logic at UC Berkeley Conference: Modal logic, on the cusp of philosophy and mathematics

Seminar | May 6 | 2:15-3:30 p.m. | 105 North Gate Hall

 Johan van Benthem, University of Amsterdam, Stanford University, Tsinghua University

 Department of Mathematics

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.