A New Modal Lindström Theorem |
| |
Authors: | Johan van Benthem |
| |
Institution: | (1) Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Plantage Muidergracht 24, NL-1018 TV Amsterdam, The Netherlands;(2) Department of Philosophy, Stanford University, USA-94305-2155 Stanford, CA, USA |
| |
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.
Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95 |
| |
Keywords: | Modal logic abstract model theory Lindstr?m theorem invariance theorem interpolation extended modal languages guarded fragment |
本文献已被 SpringerLink 等数据库收录! |
|