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

Text (Full Text)
X201605.text.pdf Download (515kB)  Preview 

Text (Abstract)
X201605.abstract.txt Download (956B) 
Abstract
These lecture notes cover classical modeltheoretic 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 modeltheoretic and algebraic techniques. Finally, they include some modern themes such as Lindström theorems, new perspectives on interpolation, modal fixedpoint 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 BerkeleyStanford Logic Circle, San Francisco, May 2015.
Item Type:  Report 

Report Nr:  X201605 
Series Name:  Technical Notes (X) Series 
Year:  2016 
Uncontrolled Keywords:  modal logic, firstorder logic, secondorder logic, model theory, correspondence theory, universal algebra, preservation theorems, LindstrÃ¶m theorems, fixedpoint logic, infinitary logic 
Subjects:  Logic 
Depositing User:  Johan 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 