{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:13:01Z","timestamp":1725549181971},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120312"},{"type":"electronic","value":"9783642120329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12032-9_12","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T01:07:56Z","timestamp":1268010476000},"page":"161-175","source":"Crossref","is-referenced-by-count":3,"title":["An Easy Completeness Proof for the Modal \u03bc-Calculus on Finite Trees"],"prefix":"10.1007","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eblle","family":"Fontaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1376916.1376925","volume-title":"PODS 2008: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"M. Boja\u0144czyk","year":"2008","unstructured":"Boja\u0144czyk, M.: Effective characterizations of tree logics. In: PODS 2008: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 53\u201366. ACM, New York (2008)"},{"key":"12_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/11814771_44","volume-title":"Automated Reasoning","author":"S. Demri","year":"2006","unstructured":"Demri, S., Lugiez, D.: Presburger modal logic is only PSPACE-complete. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 541\u2013556. Springer, Heidelberg (2006)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Doets, K.: Monadic $\\Pi_1^1$ -theories of $\\Pi_1^1$ -properties. Notre Dame Journal of Formal Logic\u00a030(2) (1989)","DOI":"10.1305\/ndjfl\/1093635080"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Fattorosi-Barnaba, M., Cerrato, C.: Graded modalities I. Studia Logica, 47 (1988)","DOI":"10.1007\/BF00370285"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018(2) (1979)","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Gheerbrant, A., ten Cate, B.: Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees. In: LFCS (2009)","DOI":"10.1007\/978-3-540-92687-0_13"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201995 Concurrency Theory","author":"D. Kozen","year":"1995","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, Springer, Heidelberg (1995)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Logics for unranked trees: An overview. Logical Methods in Computer Science\u00a02(3) (2006)","DOI":"10.2168\/LMCS-2(3:2)2006"},{"key":"12_CR9","unstructured":"de Rijke, M., Blackburn, P., Venema, Y.: Modal Logic. Cambridge University Press (1991)"},{"key":"12_CR10","unstructured":"ten Cate, B.: Model theory for extended modal languages. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Walukiewicz, I.: A note on the completeness of Kozen\u2019s axiomatization of the propositional \u03bc-calculus. The Bulletin of Symbolic Logic\u00a02(3) (1996)","DOI":"10.2307\/420995"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12032-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:03:33Z","timestamp":1558893813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12032-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120312","9783642120329"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12032-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}