{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T20:50:35Z","timestamp":1769979035831,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540442400","type":"print"},{"value":"9783540457930","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45793-3_24","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:03:26Z","timestamp":1187265806000},"page":"352-366","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Variable Hierarchy of the Modal \u03bc-Calculus"],"prefix":"10.1007","author":[{"given":"Dietmar","family":"Berwanger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Gr\u00e4del","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacomo","family":"Lenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"H. Andr\u00e9ka, J. Van Benthem, AND I. N\u00e9meti, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, 27 (1998), 217\u2013274.","journal-title":"Journal of Philosophical Logic"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1051\/ita:1999121","volume":"33","author":"A. Arnold","year":"1999","unstructured":"A. Arnold, The mu-calculus alternation-depth is strict on binary trees, RAIRO Informatique Th\u00e9orique et Applications, 33 (1999), 329\u2013339.","journal-title":"RAIRO Informatique Th\u00e9orique et Applications"},{"key":"24_CR3","unstructured":"A. Arnold AND D. Niwi\u0144ski, Rudiments of \u03bc-calculus, North Holland, 2001."},{"key":"24_CR4","unstructured":"D. Berwanger, Game logic is strong enough for parity games, Studia Logica. Special issue on Game Logic and Game Algebra, (2002)."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-45653-8_5","volume-title":"Proceedings of LPAR 2001","author":"D. Berwanger","year":"2001","unstructured":"D. Berwanger AND E. Gr\u00e4del, Games and model checking for guarded logics, in Proceedings of LPAR 2001, Lecture Notes in Computer Science Nr. 2250, Springer, 2001, 70\u201384."},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0304-3975(97)00217-X","volume":"195","author":"J. Bradfield","year":"1998","unstructured":"J. Bradfield, The modal \u03bc-calculus alternation hierarchy is strict, Theoretical Computer Science, 195 (1998), 133\u2013153.","journal-title":"Theoretical Computer Science"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G. Dagostino","year":"2000","unstructured":"G. D\u2019agostino AND M. Hollenberg, Logical questions concerning the \u03bc-calculus: interpolation, Lyndon, and Los-Tarski, Journal of Symbolic Logic, 65 (2000), 310\u2013332.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"A. Emerson AND C. Jutla, Tree automata, mu-calculus and determinacy, in Proc. 32nd IEEE Symp. on Foundations of Computer Science, 1991, 368\u2013377.","DOI":"10.1109\/SFCS.1991.185392"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/malq.19990450304","volume":"45","author":"E. Gr\u00e4del","year":"1999","unstructured":"E. Gr\u00e4del AND E. Rosen, Preservation theorems for two-variable logic, Mathematical Logic Quarterly, 45 (1999), 315\u2013325.","journal-title":"Mathematical Logic Quarterly"},{"key":"24_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/3-540-60246-1_160","volume-title":"Proceedings of MFCS 95","author":"D. Janin","year":"1995","unstructured":"D. Janin AND I. Walukiewicz, Automata for the modal \u03bc-calculus and related results, in Proceedings of MFCS 95, Lecture Notes in Computer Science Nr. 969, Springer-Verlag, 1995, 552\u2013562."},{"key":"24_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-46541-3_24","volume-title":"STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings","author":"M. Jurdzi\u0144ski","year":"2000","unstructured":"M. Jurdzi\u0144ski, Small progress measures for solving parity games, in STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings, vol. 1770 of Lecture Notes in Computer Science, Springer, 2000, 290\u2013301."},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1145\/333979.333987","volume":"47","author":"O. Kupferman","year":"2000","unstructured":"O. Kupferman, M. Vardi, AND P. Wolper, An automata-theoretic approach to branching-time model checking, Journal of the ACM, 47 (2000), 312\u2013360.","journal-title":"Journal of the ACM"},{"key":"24_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61440-0_119","volume-title":"Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP\u2019 96","author":"G. Lenzi","year":"1996","unstructured":"G. Lenzi, A hierarchy theorem for the mu-calculus, in Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP\u2019 96, F. Meyer auf der Heide and B. Monien, eds., vol. 1099 of Lecture Notes in Computer Science, Springer-Verlag, July 1996, 87\u201397."},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.4064\/fm-42-1-38-54","volume":"42","author":"J. Los","year":"1955","unstructured":"J.. Los, On the extending of models (I), Fundamenta Mathematicae, 42 (1955), 38\u201354.","journal-title":"Fundamenta Mathematicae"},{"key":"24_CR15","first-page":"111","volume":"24","author":"R. Parikh","year":"1985","unstructured":"R. Parikh, The logic of games and its applications, Annals of Discrete Mathematics, 24 (1985), 111\u2013140.","journal-title":"Annals of Discrete Mathematics"},{"key":"24_CR16","unstructured":"M. Pauly, Logic for Social Software, PhD thesis, University of Amsterdam, 2001."},{"key":"24_CR17","unstructured":"C. Stirling, Bisimulation, model checking and other games. Notes for the Mathfit instructional meeting on games and computation. Edinburgh, 1997."},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.2307\/2964569","volume":"24","author":"W. W. Tait","year":"1959","unstructured":"W. W. Tait, A counterexample to a conjecture of Scott and Suppes, Journal of Symbolic Logic, 24 (1959), 15\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR19","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1016\/S1385-7258(54)50074-0","volume":"16","author":"A. Tarski","year":"1954","unstructured":"A. Tarski, Contributions to the theory of models I, II, Indagationes Mathematicae, 16 (1954), 572\u2013588.","journal-title":"Indagationes Mathematicae"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45793-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:39:29Z","timestamp":1737373169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45793-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442400","9783540457930"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45793-3_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"2 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}