Logica Universalis 7 (2):233-264 (2013)

There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary class of frames. This is shown by constructing an explicit counterexample
Keywords Modal logic  Lindström’s theorem  bisimulation  abstract model theory
Categories (categorize this paper)
DOI 10.1007/s11787-013-0078-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,172
Through your library

References found in this work BETA

Model-Theoretic Logics.J. Barwise & S. Feferman - 1985 - Cambridge University Press.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.

View all 10 references / Add more references

Citations of this work BETA

A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.

Add more citations

Similar books and articles


Added to PP index

Total views
16 ( #668,374 of 2,517,898 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,898 )

How can I increase my downloads?


My notes