{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T05:27:45Z","timestamp":1740461265544,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151545"},{"type":"electronic","value":"9783642151552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15155-2_34","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T20:17:45Z","timestamp":1281730665000},"page":"381-392","source":"Crossref","is-referenced-by-count":1,"title":["Frame Definability for Classes of Trees in the \u03bc-calculus"],"prefix":"10.1007","author":[{"given":"Ga\u00eblle","family":"Fontaine","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Place","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0062855","volume-title":"Algebra and Logic","author":"R. Goldblatt","year":"1975","unstructured":"Goldblatt, R., Thomason, S.: Axiomatic classes in propositional modal logic. In: Algebra and Logic. Lecture Notes in Mathematics, vol.\u00a0450, pp. 163\u2013173. Springer, Heidelberg (1975)"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FUN-2004-613-404","volume":"61","author":"D. Janin","year":"2003","unstructured":"Janin, D., Lenzi, G.: On the relationship between moandic and weak monadic second order logic on arbitrary trees, with application to the mu-calculus. Fudamenta Informaticae\u00a061, 247\u2013265 (2003)","journal-title":"Fudamenta Informaticae"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D. Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the mu-calculus and related results. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969. Springer, Heidelberg (1995)"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"D. Janin","year":"1996","unstructured":"Janin, D., Walukiewicz, I.: On the expressive completeness of the propositional modal mu-calculus and related results. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"key":"34_CR5","unstructured":"van Benthem, J.: Modal correspondance theory. PhD thesis, Mathematisch Instituut en Instituut voor Grondslagenonderzoek, University of Amsterdam (1976)"},{"key":"34_CR6","volume-title":"Exploring logical dynamics","author":"J. Benthem van","year":"1996","unstructured":"van Benthem, J.: Exploring logical dynamics. CSLI publications, Stanford (1996)"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(01)00185-2","volume":"275","author":"I. Walukiewicz","year":"2002","unstructured":"Walukiewicz, I.: Monadic second order logic on tree-like structures. Theoretical Computer Science\u00a0275, 311\u2013346 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15155-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T12:30:59Z","timestamp":1740400259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15155-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151545","9783642151552"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15155-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}