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 |