{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:54Z","timestamp":1783111554469,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642229435","type":"print"},{"value":"9783642229442","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22944-2_12","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T05:45:59Z","timestamp":1314251159000},"page":"161-175","source":"Crossref","is-referenced-by-count":3,"title":["On the Fusion of Coalgebraic Logics"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Dahlqvist","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"10","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1016\/j.ic.2005.05.009","volume":"204","author":"F. Baader","year":"2006","unstructured":"Baader, F., Ghilardi, S., Tinelli, C.: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Information and Computation\u00a0204(10), 1413\u20131452 (2006)","journal-title":"Information and Computation"},{"key":"12_CR2","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic, Cambridge (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.tcs.2007.06.002","volume":"388","author":"C. Cirstea","year":"2007","unstructured":"Cirstea, C., Pattinson, D.: Modular proof systems for coalgebraic logics. Theoret. Comput. Sci.\u00a0388, 83\u2013108 (2007)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF02770513","volume":"48","author":"K. Do\u0161en","year":"1989","unstructured":"Do\u0161en, K.: Duality between modal algebras and neighbourhood frames. Studia Logica\u00a048(2), 219\u2013234 (1989)","journal-title":"Studia Logica"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM\u00a041, 340\u2013367 (1994)","journal-title":"J. ACM"},{"key":"12_CR7","unstructured":"Fajardo, R., Finger, M.: How not to combine modal logics. In: Prasad, B. (ed.) IICAI, pp. 1629\u20131647 (2005)"},{"key":"12_CR8","first-page":"169","volume-title":"Logic and Reality, Essats in Pure and Applied Logic. In Memory of Arthur Prior","author":"K. Fine","year":"1996","unstructured":"Fine, K., Schurz, G.: Transfer theorems for stratified modal logics. In: Copeland, J. (ed.) Logic and Reality, Essats in Pure and Applied Logic. In Memory of Arthur Prior, pp. 169\u2013213. Oxford Univeristy Press, Oxford (1996)"},{"key":"12_CR9","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11548133_13","volume-title":"Algebra and Coalgebra in Computer Science","author":"H.P. Gumm","year":"2005","unstructured":"Gumm, H.P.: From T-coalgebras to filter structures and transition systems. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 194\u2013212. Springer, Heidelberg (2005)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. J. Symb. Logic\u00a056(4), 1469\u20131485 (1991)","journal-title":"J. Symb. Logic"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C. Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theor. Comput. Sci.\u00a0327(1-2), 109\u2013134 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR13","series-title":"Studies in Logic and Practical Reasoning","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/S1570-2464(07)80018-8","volume-title":"Handbook of Modal Logic","author":"A. Kurucz","year":"2007","unstructured":"Kurucz, A.: Combining modal logics. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 869\u2013924. Elsevier, Amsterdam (2007)"},{"issue":"5","key":"12_CR14","doi-asserted-by":"publisher","first-page":"1113","DOI":"10.1093\/logcom\/exn096","volume":"20","author":"L. Schr\u00f6der","year":"2010","unstructured":"Schr\u00f6der, L., Pattinson, D.: Rank-1 logics are coalgebraic. Journal of Logic and Computation\u00a020(5), 1113\u20131147 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L., Pattinson, D.: Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Math. Struct. Comput. Sci.\u00a021 (2011)","DOI":"10.1017\/S0960129510000563"},{"issue":"2-3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.tcs.2007.09.023","volume":"390","author":"L. Schr\u00f6der","year":"2008","unstructured":"Schr\u00f6der, L.: Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci.\u00a0390(2-3), 230\u2013247 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR17","series-title":"CSLI Lecture Notes","first-page":"361","volume-title":"Advances in Modal Logic 1096","author":"F. Wolter","year":"1998","unstructured":"Wolter, F.: Fusions of modal logics revisited. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic 1096. CSLI Lecture Notes, pp. 361\u2013379. CSLI Publications, Stanford (1998)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22944-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:09:50Z","timestamp":1606187390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22944-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229435","9783642229442"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22944-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}