{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T07:40:12Z","timestamp":1736235612105,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304951"},{"type":"electronic","value":"9783540324195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11590156_32","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T15:43:16Z","timestamp":1133797396000},"page":"396-407","source":"Crossref","is-referenced-by-count":0,"title":["Bisimulation Quantified Logics: Undecidability"],"prefix":"10.1007","author":[{"given":"Tim","family":"French","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Berger, R.: The undecidability of the dominoe problem. Mem. Amer. Math. Soc.\u00a066 (1966)","DOI":"10.1090\/memo\/0066"},{"key":"32_CR2","unstructured":"D\u2019Agostino, G.: Modal logic and non-well-founded set theory: translation, bisimulation, interpolation. PhD thesis, University of Amsterdam (1998)"},{"issue":"1","key":"32_CR3","doi-asserted-by":"publisher","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G. D\u2019Agostino","year":"2000","unstructured":"D\u2019Agostino, G., Hollenberg, M.: Logical questions concerning the mu-calculus: interpolation, Lyndon and Los-Tarski. The Journal of Symbolic Logic\u00a065(1), 310\u2013332 (2000)","journal-title":"The Journal of Symbolic Logic"},{"key":"32_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"K. Fine","year":"1970","unstructured":"Fine, K.: Propositional quantifiers in modal logic. Theoria\u00a036, 336\u2013346 (1970)","journal-title":"Theoria"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"French, T.: Decidability of propositionally quantified logics of knowledge. In: Proc. 16th Australian Joint Conference on Artificial Intelligence (2003)","DOI":"10.1007\/978-3-540-24581-0_30"},{"key":"32_CR7","volume-title":"Many Dimensional Modal Logics: Theory and Applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharayashev, M.: Many Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"911","DOI":"10.2307\/2275765","volume":"60","author":"S. Ghilardi","year":"1995","unstructured":"Ghilardi, S., Zawadowski, M.: A sheaf representation and duality for finitely presented heyting algebras. Journal of Symbolic Logic\u00a060, 911\u2013939 (1995)","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR9","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 mu-calculus and related results. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969, pp. 552\u2013562. Springer, Heidelberg (1995)"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-10235-3_3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092, pp. 19\u201327. Springer, Heidelberg (1980)"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"A. Pitts","year":"1992","unstructured":"Pitts, A.: On the interpretation of second-order quantification in first-order intuitionistic propositional logic. Journal of Symbolic Logic\u00a057, 33\u201352 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume":"2","author":"J. Benthem van","year":"1984","unstructured":"van Benthem, J.: Correspondence theory. Handbook of Philosophical Logic\u00a02, 167\u2013247 (1984)","journal-title":"Handbook of Philosophical Logic"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Visser, A.: Uniform interpolation and layered bisimulation. In: Godel 1996. Lecture Notes Logic, vol.\u00a06, pp. 139\u2013164 (1996)","DOI":"10.1007\/978-3-662-21963-8_9"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11590156_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:12:09Z","timestamp":1736140329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11590156_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304951","9783540324195"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11590156_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}