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
Unable to display preview. Download preview PDF.