{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T17:20:40Z","timestamp":1695576040846},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,10,5]],"date-time":"2022-10-05T00:00:00Z","timestamp":1664928000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,5]],"date-time":"2022-10-05T00:00:00Z","timestamp":1664928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11787-022-00316-6","type":"journal-article","created":{"date-parts":[[2022,10,5]],"date-time":"2022-10-05T09:05:02Z","timestamp":1664960702000},"page":"1-21","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Games and Lindstr\u00f6m Theorems"],"prefix":"10.1007","volume":"17","author":[{"given":"Cheng","family":"Liao","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,5]]},"reference":[{"key":"316_CR1","doi-asserted-by":"crossref","unstructured":"Andr$$\\acute{\\text{e}}$$ka, H., van Benthem, J., N$$\\acute{\\text{ e }}$$meti, H.: Modal logics and bounded fragments of predicate logic. J. Philos. Logic 27, 217\u2013274 (1998)","DOI":"10.1023\/A:1004275029985"},{"key":"316_CR2","doi-asserted-by":"publisher","first-page":"881","DOI":"10.2307\/2586507","volume":"64","author":"J Barwise","year":"1999","unstructured":"Barwise, J., van Benthem, J.: Interpolation, preservation, and pebble games. J. Symb. Logic 64, 881\u2013903 (1999)","journal-title":"J. Symb. Logic"},{"key":"316_CR3","volume-title":"Model-Theoretic Logics","author":"J Barwise","year":"1985","unstructured":"Barwise, J., Feferman, S.: Model-Theoretic Logics. Springer-Verlag, New York (1985)"},{"key":"316_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-5(3:3)2009","volume":"5","author":"J van Benthem","year":"2009","unstructured":"van Benthem, J., Balder, T.C., V\u00e4\u00e4n\u00e4nen, J.: Lindstr\u00f6m theorems for fragments of first-order logics. Log. Methods Comput. Sci. 5, 1\u201327 (2009)","journal-title":"Log. Methods Comput. Sci."},{"key":"316_CR5","volume-title":"Modal Logic","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2000)"},{"key":"316_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1305\/ndjfl\/1093883342","volume":"22","author":"X Caicedo","year":"1981","unstructured":"Caicedo, X.: On extension of $$L_{\\omega \\omega }(Q_1)$$. Notre Dame J. Formal Logic 22, 85\u201393 (1981)","journal-title":"Notre Dame J. Formal Logic"},{"key":"316_CR7","volume-title":"Model Theory","author":"CC Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Elsevier Science Publishers B.V, Amsterdam (1990)"},{"key":"316_CR8","volume-title":"Finite Model Theory","author":"HD Ebbinghaus","year":"1999","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Springer, Heidelberg (1999)"},{"key":"316_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2355-7","volume-title":"Mathematical Logic","author":"HD Ebbinghaus","year":"1994","unstructured":"Ebbinghaus, H.D., Flum, J., Thomas, W.: Mathematical Logic. Springer Science and Business Media, New York (1994)"},{"key":"316_CR10","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. J. Symb. Logic 64, 1719\u20131742 (1999)","journal-title":"J. Symb. Logic"},{"key":"316_CR11","volume-title":"A Shorter Model Theory","author":"W Hodge","year":"1997","unstructured":"Hodge, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997)"},{"key":"316_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0168-0072(94)00025-X","volume":"74","author":"PG Kolatis","year":"1995","unstructured":"Kolatis, P.G., V\u00e4\u00e4n\u00e4nen, J.: Generalized quantifiers and pebble games on finite structures. Ann. Pure Appl. Logic 74, 23\u201375 (1995)","journal-title":"Ann. Pure Appl. Logic"},{"key":"316_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P Lindstr\u00f6m","year":"1969","unstructured":"Lindstr\u00f6m, P.: On extensions of elementary logic. Theoria 35, 1\u201311 (1969)","journal-title":"Theoria"},{"key":"316_CR14","first-page":"189","volume-title":"Modality, Morality and Other Problems of Sense and Nonsense: Essays Dedicated to S\u00f6ren Halld\u00e9n","author":"P Lindstr\u00f6m","year":"1973","unstructured":"Lindstr\u00f6m, P.: A characterization of elementary logic. In: Halld\u00e9n, S\u00f6ren. (ed.) Modality, Morality and Other Problems of Sense and Nonsense: Essays Dedicated to S\u00f6ren Halld\u00e9n, pp. 189\u2013191. CWK Gleerup Bokf\u00f6rlag, Lund (1973)"},{"key":"316_CR15","unstructured":"Otto, M., Piro, R.: A Lindstr\u00f6m characterisation of the guarded fragment and of modal logic with a global modality. In: Areces, C., Goldblatt, R. (eds.) Advance in Modal Logic (AiML 2008)7, 273\u2013287"},{"key":"316_CR16","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1090\/S0894-0347-2011-00712-1","volume":"25","author":"S Shelah","year":"2012","unstructured":"Shelah, S.: Nice Infin. Logics. J. Am. Math. Soc. 25, 395\u2013427 (2012)","journal-title":"J. Am. Math. Soc."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00316-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00316-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00316-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,14]],"date-time":"2023-03-14T16:12:19Z","timestamp":1678810339000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00316-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,5]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["316"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00316-6","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,5]]},"assertion":[{"value":"13 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}