A new modal lindström theorem

Logica Universalis 1 (1):125-138 (2007)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Filter logics on ω.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.

Analytics

Added to PP
2009-01-28

Downloads
35 (#396,067)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

References found in this work

No references found.

Add more references