{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T04:22:25Z","timestamp":1791087745660,"version":"4.1.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s11225-006-8301-9","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T10:36:05Z","timestamp":1152786965000},"page":"133-155","source":"Crossref","is-referenced-by-count":40,"title":["Modal Frame Correspondences and Fixed-Points"],"prefix":"10.1007","volume":"83","author":[{"given":"Johan Van","family":"Benthem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8301_CR1","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/S0049-237X(08)71120-0","volume-title":"Handbook of Mathematical Logic","author":"P. ACZEL","year":"1977","unstructured":"ACZEL, P., \u2018An Introduction to Inductive Definitions\u2019, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 739\u2013782."},{"key":"8301_CR2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/logcom\/7.2.251","volume":"7","author":"G. D'AGOSTINO","year":"1997","unstructured":"D'AGOSTINO, G., J. VAN BENTHEM, A. MONTANARI, and A. POLICRITI, \u2018Modal Deduction in Second-Order Logic and Set Theory. Part I\u2019, Logic and Computation 7 (1997), 251\u2013265.","journal-title":"Logic and Computation"},{"key":"8301_CR3","doi-asserted-by":"crossref","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G. D'AGOSTINO","year":"2000","unstructured":"D'AGOSTINO, G., and M. HOLLENBERG, \u2018Logical Questions concerning the \/i-Calculus: Interpolation, Lyndon&Los-Tarski\u2019, Journal of Symbolic Logic 65 (2000), 310\u2013332.","journal-title":"Journal of Symbolic Logic"},{"key":"8301_CR4","unstructured":"VAN BENTHEM, J., \u2018Some Correspondence Results in Modal Logic\u2019, Report 74\u201305, Mathematisch Instituut, Universiteit van Amsterdam, 1974."},{"key":"8301_CR5","volume-title":"Modal Logic and Classical Logic","author":"J. BENTHEM VAN","year":"1983","unstructured":"VAN BENTHEM, J., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1983."},{"key":"8301_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-94-009-3381-1_2","volume-title":"Generalized Quantifiers: Linguistic and Logical Approaches","author":"J. BENTHEM VAN","year":"1987","unstructured":"VAN BENTHEM, J., \u2018Toward a Computational Semantics\u2019, in P. GARDENFORS (ed.), Generalized Quantifiers: Linguistic and Logical Approaches, Reidel, Dordrecht, 1987, pp. 31\u201371."},{"key":"8301_CR7","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1080\/11663081.1999.10510976","volume":"2\/3","author":"J. BENTHEM VAN","year":"1999","unstructured":"VAN BENTHEM, J., \u2018The R,ange of Modal Logic\u2019, Journal of Applied Non-Classical Logics 9, 2\/3 (1999), 407\u2013442.","journal-title":"Journal of Applied Non-Classical Logics 9"},{"key":"8301_CR8","doi-asserted-by":"crossref","first-page":"696","DOI":"10.2178\/jsl\/1122038910","volume":"3","author":"J. BENTHEM VAN","year":"2005","unstructured":"VAN BENTHEM, J., \u2018Minimal Predicates, Fixed-Points, and Definability\u2019, R.eport PP-2004\u201301, ILLC Amsterdam. Appeared in Journal of Symbolic Logic 70, 3 (2005), 696\u2013712.","journal-title":"Appeared in Journal of Symbolic Logic 70"},{"key":"8301_CR9","unstructured":"VAN BENTHEM, J., S. VAN OTTERLOO, O. ROY, \u2018Preference Logic, Conditionals, and Solution Concepts in Games\u2019, R.eport PP-2005\u201328, ILLC Amsterdam, to appear in Festschrift for Krister Segerberg, University of Uppsala, 2006."},{"key":"8301_CR10","unstructured":"VAN BENTHEM, J., J. VAN BUCK, B. Kooi \u2018Logics for Communication and Change\u2019, ILLC Preprint DARE 14 8524, University of Amsterdam, in R., van der Meijden, (ed.), Proceedings of TARK 2005, National University of Singapore, 2005."},{"key":"8301_CR11","unstructured":"BEZEM, J-W., and R. DE VRUER (eds.), (\u2018Terese\u2019), Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, Vol. 55, Cambridge University Press, 2003."},{"key":"8301_CR12","doi-asserted-by":"crossref","unstructured":"BLACKBURN, P., M. DE RIJKE and Y. VENEMA, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"8301_CR13","doi-asserted-by":"crossref","unstructured":"TEN GATE, B., Model Theory for Extended Modal Languages, ILLC Dissertation Series DS-2005\u201301, University of Amsterdam, 2005.","DOI":"10.2178\/jsl\/1107298517"},{"key":"8301_CR14","first-page":"117","volume":"2","author":"W. BLOK","year":"1978","unstructured":"BLOK, W., and J. VAN BENTHEM, \u2018Transitivity Follows from Dummett's Axiom\u2019, Theoria 44, 2 (1978), 117\u2013118.","journal-title":"Theoria 44"},{"key":"8301_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03182-7","volume-title":"Finite Model Theory","author":"H-D. EBBINGHAUS","year":"1995","unstructured":"EBBINGHAUS, H-D., and J. FLUM, Finite Model Theory, Springer, Berlin, 1995."},{"key":"8301_CR16","first-page":"35","volume":"7","author":"D. GABBAY","year":"1992","unstructured":"GABBAY, D., and H-J. OHLBACH, \u2018Quantifier Elimination in Second-Order Predicate Logic\u2019, South African Computer Journal 7 (1992), 35\u201343.","journal-title":"South African Computer Journal"},{"key":"8301_CR17","volume-title":"Department of Mathematics, Rand Afrikaans University, Johannesburg&Faculty of Mathematics and Computer Science","author":"V. GORANKO","year":"2003","unstructured":"GORANKO, V., and D. VAKARELOV, \u2018Elementary Canonical Formulas I. Extending Sahlqvist's Theorem\u2019, Department of Mathematics, Rand Afrikaans University, Johannesburg&Faculty of Mathematics and Computer Science, Kliment Ohridski University, Sofia, 2003."},{"key":"8301_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. HAREL","year":"2000","unstructured":"HAREL, D., D. KOZEN, and J. TIURYN, Dynamic Logic, The MIT Press, Cambridge (Mass.), 2000."},{"key":"8301_CR19","unstructured":"HOLLENBERG, M., Logic and Bisimulation, Dissertation Series Vol. XXIV, Zeno Institute of Philosophy, University of Utrecht, 1998."},{"key":"8301_CR20","first-page":"89","volume-title":"Logic at Work","author":"A. NONNENGART","year":"1999","unstructured":"NONNENGART, A., and A. SZALAS, \u2018Fixed-Point Approach to Second-Order Quantifier Elimination with Applications to Modal Correspondence Theory\u2019, in E. Orlowska (ed.), Logic at Work, Physica-Verlag, Heidelberg, 1999, pp. 89\u2013108."},{"key":"8301_CR21","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0049-237X(08)70728-6","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","author":"H. SAHLQVIST","year":"1975","unstructured":"SAHLQVIST, H., \u2018Completeness and Correspondence in First and Second Order Semantics for Modal Logic\u2019, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, Amsterdam, North Holland, 1975, pp. 110\u2013143."},{"key":"8301_CR22","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/978-94-009-6259-0_9","volume-title":"Handbook of Philosophical Logic, Vol. II","author":"C. SMORYNSKI","year":"1984","unstructured":"SMORYNSKI, C., \u2018Modal Logic and Self-Reference\u2019, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, 1984, pp. 441\u2013495."},{"key":"8301_CR23","unstructured":"VENEMA, Y., Many-Dimensional Modal Logics, Dissertation, Institute for Logic, Language and Computation, University of Amsterdam, 1991."},{"key":"8301_CR24","first-page":"617","volume-title":"Handbook of Philosophical Logic, Vol. IV","author":"A. VISSER","year":"1984","unstructured":"VISSER, A.,\u2018Semantics and the Liar Paradox\u2019, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. IV, Reidel, Dordrecht, 1984, pp. 617\u2013706."},{"key":"8301_CR25","doi-asserted-by":"crossref","unstructured":"VISSER, A., \u2018Lob's Logic Meets the \/i-Calculus\u2019, Philosophical Institute, University of Utrecht. To appear in Liber Amicorum for Jan-Willem Klop, 2005.","DOI":"10.1007\/11601548_3"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8301-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8301-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8301-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T01:39:22Z","timestamp":1683509962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8301-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":25,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8301"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8301-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}