{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:36:47Z","timestamp":1772368607488,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,13]],"date-time":"2017-11-13T00:00:00Z","timestamp":1510531200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s11225-017-9762-8","type":"journal-article","created":{"date-parts":[[2017,11,13]],"date-time":"2017-11-13T05:02:40Z","timestamp":1510549360000},"page":"699-720","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["First-Order Modal Logic: Frame Definability and a Lindstr\u00f6m Theorem"],"prefix":"10.1007","volume":"106","author":[{"given":"R.","family":"Zoghifard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Pourmahdian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,13]]},"reference":[{"key":"9762_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M.\u00a0de\u00a0Rijke, and Y.\u00a0Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2002.","DOI":"10.1017\/CBO9781107050884"},{"key":"9762_CR2","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., and S. Ghilardi, First-Order Modal Logic, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, Elsevier Science Publishers, Amsterdam, 2006, pp. 549\u2013620.","DOI":"10.1016\/S1570-2464(07)80012-7"},{"key":"9762_CR3","first-page":"217","volume-title":"Modal Logic and Process Algebra: A Bisimulation Perspective","author":"M Rijke de","year":"1995","unstructured":"de\u00a0Rijke, M., A Lindstr\u00f6m theorem for modal logic, in A. Ponse, M. de Rijke, and Y. Venema, (eds.), Modal Logic and Process Algebra: A Bisimulation Perspective, CSLI Publications, Standford, 1995, pp. 217\u2013230."},{"issue":"2","key":"9762_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11787-013-0078-9","volume":"7","author":"S Enqvist","year":"2013","unstructured":"Enqvist, S., A General Lindstr\u00f6m Theorem for Some Normal Modal Logics, Logica Universalis 7(2):233\u2013264, 2013.","journal-title":"Logica Universalis"},{"issue":"5","key":"9762_CR5","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.1093\/logcom\/exu045","volume":"26","author":"S Enqvist","year":"2016","unstructured":"Enqvist, S., A new coalgebraic Lindstr\u00f6m theorem, Journal of Logic and Computation 26(5):1541\u20131566, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9762_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M Fitting","year":"1998","unstructured":"Fitting, M., and R.L. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht, 1998."},{"key":"9762_CR7","first-page":"77","volume-title":"Model-Theoretic Logics","author":"J Flum","year":"1985","unstructured":"Flum, J., Characterizing logics, in J. Barwise and S. Feferman, (eds.), Model-Theoretic Logics, Springer-Verlag, Berlin, 1985, pp. 77\u2013120."},{"key":"9762_CR8","volume-title":"Quantification in Nonclassical Logic","author":"D Gabbay","year":"2009","unstructured":"Gabbay, D., V. Shehtman and D. Skvortsov, Quantification in Nonclassical Logic, Elsevier, Amsterdam, 2009."},{"key":"9762_CR9","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.I., and S.K. Thomason, Axiomatic classes in propositional modal logic, in J. Crossley, (ed.), Algebra and Logic, Springer, Berlin, 1974, pp. 163\u2013173.","DOI":"10.1007\/BFb0062855"},{"key":"9762_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"Hodges W","year":"1993","unstructured":"Hodges, W., Model Theory, Cambridge University Press, Cambridge, 1993."},{"key":"9762_CR11","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, Abingdon, 1996."},{"key":"9762_CR12","first-page":"342","volume-title":"CALCO 2007","author":"A Kurz","year":"2007","unstructured":"Kurz, A., and J. Rosick\u00fd, The Goldblatt-Thomason Theorem for Coalgebras, in T. Mossakowski, U. Montanari, and M. Haveraaen, (eds.), CALCO 2007, Springer-Verlag, Berlin, 2007, pp. 342\u2013355."},{"key":"9762_CR13","first-page":"292","volume-title":"Advances in modal logic","author":"A Kurz","year":"2010","unstructured":"Kurz, A., and Y. Venema, Coalgebraic Lindstr\u00f6m Theorems, in V. Goranko, L. Beklemishev, and V. Shehtman, (eds.), Advances in modal logic, College Publications, San Diego, 2010, pp. 292\u2013309."},{"key":"9762_CR14","unstructured":"Lethinen, S., Generalizing the Goldblatt-Thomason Theorem and Modal Definability, Ph.D. thesis, University of Tampere, 2008."},{"key":"9762_CR15","doi-asserted-by":"crossref","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":"9762_CR16","first-page":"273","volume-title":"Advances in Modal Logic","author":"M Otto","year":"2008","unstructured":"Otto, M., and R. Piro, A Lindstr\u00f6m characterisation of the guarded fragment and of modal logic with a global modality, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic, College Publications, San Diego, 2008, pp. 273\u2013287."},{"key":"9762_CR17","first-page":"330","volume-title":"Advances in Modal Logic","author":"K Sano","year":"2010","unstructured":"Sano, K., and M. Ma, Goldblatt-Thomason Style Theorems for Graded Modal Language, in V. Goranko, L. Beklemishev, and V. Shehtman, (eds.), Advances in Modal Logic, College Publications, San Diego, 2010, pp. 330\u2013349."},{"key":"9762_CR18","doi-asserted-by":"crossref","unstructured":"ten\u00a0Cate, B., Model theory for extended modal languages, Ph.D. thesis, University of Amsterdam, Institute for Logic, Language and Computation, 2005.","DOI":"10.2178\/jsl\/1107298517"},{"issue":"1","key":"9762_CR19","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s11787-006-0006-3","volume":"1","author":"J Benthem van","year":"2007","unstructured":"van\u00a0Benthem, J., A new modal Lindstr\u00f6m theorem, Logica Universalis 1(1):125\u2013138, 2007.","journal-title":"Logica Universalis"},{"issue":"3","key":"9762_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-5(3:3)2009","volume":"5","author":"J Benthem van","year":"2009","unstructured":"van\u00a0Benthem, J., B. ten\u00a0Cate, and J.A. V\u00e4\u00e4n\u00e4nen, Lindstr\u00f6m theorems for fragments of first-order logic, Logical Methods in Computer Science 5(3):1\u201327, 2009.","journal-title":"Logical Methods in Computer Science"},{"key":"9762_CR21","volume-title":"Proofs, categories and computations: essays in honor of Grigori Mints","author":"J Benthem van","year":"2010","unstructured":"van\u00a0Benthem, J., Frame Correspondences in Modal Predicate Logic, in S. Feferman and W. Sieg, (eds.), Proofs, categories and computations: essays in honor of Grigori Mints, College Publications, San Diego, 2010."},{"key":"9762_CR22","unstructured":"van\u00a0Benthem, J., Modal Logic for Open Minds, Center for the Study of Language and Information, 2010."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9762-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9762-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9762-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T22:28:06Z","timestamp":1570314486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9762-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,13]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9762"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9762-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,13]]}}}