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.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95
Rights and permissions
About this article
Cite this article
van Benthem, J. A New Modal Lindström Theorem. Log. univers. 1, 125–138 (2007). https://doi.org/10.1007/s11787-006-0006-3
Issue Date:
DOI: https://doi.org/10.1007/s11787-006-0006-3