Notes on Mathematical Modal Logic
Johan van Benthem, Wang Yafeng
Abstract:
These lecture notes cover classical model-theoretic results about modal logic over both models and frames, as developed up to about 1980. They also cover algebraic perspectives on modal logic, and the interplay of model-theoretic and algebraic techniques. Finally, they include some modern themes such as Lindström theorems, new perspectives on interpolation, modal fixed-point logics and infinitary modal logics.
Note: These notes were written by Yafeng Wang (Department of Philosophy, Stanford University) as a record of three afternoon sessions on classical mathematical modal logic given by Johan van Benthem at the Berkeley-Stanford Logic Circle, San Francisco, May 2015.
Keywords: modal logic, first-order logic, second-order logic, model theory, correspondence theory, universal algebra, preservation theorems, LindstrÃ¶m theorems, fixed-point logic, infinitary logic