Advertisement

Logica Universalis

, Volume 1, Issue 1, pp 125–138 | Cite as

A New Modal Lindström Theorem

  • Johan van Benthem
Article

Abstract.

We prove new Lindström theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem.

Keywords.

Modal logic abstract model theory Lindström theorem invariance theorem interpolation extended modal languages guarded fragment 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2007

Authors and Affiliations

  1. 1.Institute for Logic, Language and Computation (ILLC)University of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of PhilosophyStanford UniversityStanfordUSA

Personalised recommendations