Abstract
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.
Similar content being viewed by others
References
Aho A.V., Beeri C., Ullman J.D.: Theory of joins in relational databases. ACM Trans. Database Syst. 4, 297–314 (1979)
Andréka, H., Németi, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. Phil. Logic 27, 217–274 (1998)
Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Springer, Berlin (1985)
Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge University Press, Cambridge (2001)
Dawar, A., Otto, M.: Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Logic 161, 1–42 (2009)
de Rijke, M.: A Lindström theorem for modal logic. In: Modal Logic and Process Algebra, pp. 217–230. CSLI Publications, Stanford (1995)
Fagin R.: Horn clauses and database dependencies. J. ACM 29, 952–985 (1982)
Goranko, V., Otto, M.: Model theory for modal logic. In: Blackburn P., van Benthem J., Wolter F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2006)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Hollenberg, M.: Logic and Bisimulation. Doctoral dissertation, Universiteit Utrecht (1998)
Kurz, A., Venema, Y.: Coalgebraic Lindström theorems. In: Advances in Modal Logic (AiML 2010)
Lindström P.: On extensions of elementary logic. Theoria 35, 1–11 (1969)
Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4, 455–469 (1979)
Makowsky, J.A.: Why Horn formulas matter in computer science: Initial structures and generic examples. TR No. 329, Department of Computer Science, Technion-Israel Institute of Technology, Haifa, Israel (1984)
Otto, M., Piro, R.: A Lindström characterization of the guarded fragment and of modal logic with a global modality. In: Advances in Modal Logic (AiML 2008)
Poizat, B.: A Course in Model Theory. Springer, Berlin (2000)
van Benthem, J.: Modal correspondence theory. Doctoral dissertation, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van de Exacte Wetenschappen (1977)
van Benthem J.: A new modal Lindström theorem. Logica Universalis. 1, 125–138 (2007)
van Benthem, J., ten Cate, B., Väänänen, J.: Lindström theorems for fragments of first-order logic. Logical Methods Comput. Sci. 5, 1–27 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Enqvist, S. A General Lindström Theorem for Some Normal Modal Logics. Log. Univers. 7, 233–264 (2013). https://doi.org/10.1007/s11787-013-0078-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-013-0078-9