X-2016-05: Notes on Mathematical Modal Logic

X-2016-05: van Benthem, Johan and Yafeng, Wang (2016) Notes on Mathematical Modal Logic. [Report]

Preview	Text (Full Text) X-2016-05.text.pdf Download (515kB) | Preview
	Text (Abstract) X-2016-05.abstract.txt Download (956B)

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.

Item Type:	Report
Report Nr:	X-2016-05
Series Name:	Technical Notes (X) Series
Year:	2016
Uncontrolled 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
Subjects:	Logic
Depositing User:	Johan van Benthem
Date Deposited:	12 Oct 2016 14:38
Last Modified:	12 Oct 2016 14:38
URI:	https://eprints.illc.uva.nl/id/eprint/697

Actions (login required)

View Item