{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T14:13:01Z","timestamp":1762351981491,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875307"},{"type":"electronic","value":"9783540875314"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87531-4_12","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T08:40:53Z","timestamp":1220085653000},"page":"139-153","source":"Crossref","is-referenced-by-count":7,"title":["Continuous Fragment of the mu-Calculus"],"prefix":"10.1007","author":[{"given":"Ga\u00eblle","family":"Fontaine","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Handbook for Logic in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay Dov, M., Maibaum, T.S.M. (eds.) Handbook for Logic in Computer Science. Clarendon Press, Oxford (1994)"},{"key":"12_CR2","volume-title":"Model Theory","author":"C. Chang","year":"1973","unstructured":"Chang, C., Keisler, H.: Model Theory. North Holland, Amsterdam (1973)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, G., Hollenberg, M.: Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. Journal of Symbolic Logic, 310\u2013332 (2000)","DOI":"10.2307\/2586539"},{"key":"12_CR4","unstructured":"Hollenberg, M.: Logic and Bisimulation. PhD thesis, Utrecht University, Zeno Institute of Philosophy (1998)"},{"key":"12_CR5","unstructured":"van Benthem, J.: Exploring Logical Dynamics. CSLI Publications\/Cambridge University Press (1996)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/3-540-60246-1_160","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D. Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the modal \u03bc-calculus and related results. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969, pp. 552\u2013562. Springer, Heidelberg (1995)"},{"key":"12_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"Gierz, G., Hofman, K., Keimel, K., Lawson, J., Mislove, M., Scott, D.: A Compendium of Continuous Lattices. Springer, Heidelberg (1980)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49116-3_50","volume-title":"STACS 99","author":"M. Otto","year":"1999","unstructured":"Otto, M.: Eliminating Recursion in the mu-Calculus. In: Meinel, C., Tison, S. (eds.) STACS 1999. LNCS, vol.\u00a01563. Springer, Heidelberg (1999)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Modal Frame Correspondences and Fixed-Points. Studia Logica, 133\u2013155 (2006)","DOI":"10.1007\/s11225-006-8301-9"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Ikegami, D., van Benthem, J.: Modal Fixed-Point Logic and Changing Models. ILLC Preprint PP-2008-19 (2008)","DOI":"10.1007\/978-3-540-78127-1_9"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87531-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:12:27Z","timestamp":1715058747000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87531-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875307","9783540875314"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87531-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}