Games and Lindström Theorems

Logica Universalis 17 (1):1-21 (2023)
  Copy   BIBTEX

Abstract

The Ehrenfeucht–Fraïsse game for a logic usually provides an intuitive characterizarion of its expressive power while in abstract model theory, logics are compared by their expressive powers. In this paper, I explore this connection in details by proving a general Lindström theorem for logics which have certain types of Ehrenfeucht–Fraïsse games. The results generalize and uniform some known results and may be applied to get new Lindström theorems for logics.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-022-00316-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

My notes

Similar books and articles

First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
Svenonius Sentences and Lindström's Theory on Preservation Theorems.M. Makkai - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Logic games: Not just tools, but models of interaction.Johan van Benthem - unknown
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Remarks on some theorems of Keisler.Per Lindström - 1968 - Journal of Symbolic Logic 33 (4):571 - 576.
Review: M. Makkai, Svenonius Sentences and Lindstrom's Theory on Preservation Theorems. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Makkai M.. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 , pp. 219–233. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.

Analytics

Added to PP
2022-10-05

Downloads
31 (#518,746)

6 months
14 (#184,493)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

View all 10 references / Add more references