{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:07:37Z","timestamp":1725466057915},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370748"},{"type":"electronic","value":"9783642370755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_13","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"193-208","source":"Crossref","is-referenced-by-count":3,"title":["Some Sahlqvist Completeness Results for Coalgebraic Logics"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Dahlqvist","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Coalgebras, Chu Spaces, and Representations of Physical Systems. CoRR, abs\/0910.3959 (2009)","DOI":"10.1109\/LICS.2010.35"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1093\/logcom\/exn090","volume":"20","author":"J. Ad\u00e1mek","year":"2010","unstructured":"Ad\u00e1mek, J., Gumm, H.P., Trnkov\u00e1, V.: Presentation of set functors: A coalgebraic perspective. J. Log. Comput.\u00a020(5), 991\u20131015 (2010)","journal-title":"J. Log. Comput."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.026","volume":"424","author":"N. Bezhanishvili","year":"2012","unstructured":"Bezhanishvili, N., Hodkinson, I.: Sahlqvist theorem for modal fixed point logic. Theoretical Computer Science\u00a0424, 1\u201319 (2012)","journal-title":"Theoretical Computer Science"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Scie., vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"de Rijke, M., Venema, Y.: Sahlqvist\u2019s Theorem For Boolean Algebras With Operators With An Application To Cylindric Algebras. Studia Logica (1995)","DOI":"10.1007\/BF01058532"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01057646","volume":"53","author":"B. J\u00f3nsson","year":"1994","unstructured":"J\u00f3nsson, B.: On the canonicity of Sahlqvist identities. Studia Logica\u00a053(4), 473\u2013492 (1994)","journal-title":"Studia Logica"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"33","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. part 1. Amer. J. Math.\u00a033, 891\u2013937 (1951)","journal-title":"Amer. J. Math."},{"issue":"38","key":"13_CR8","doi-asserted-by":"publisher","first-page":"5070","DOI":"10.1016\/j.tcs.2011.04.023","volume":"412","author":"C. Kupke","year":"2011","unstructured":"Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. Theoretical Computer Science\u00a0412(38), 5070\u20135094 (2011); Special issue CMCS 2010","journal-title":"Theoretical Computer Science"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Completeness for the coalgebraic cover modality. Logical Methods in Computer Science\u00a08(3) (2012)","DOI":"10.2168\/LMCS-8(3:2)2012"},{"key":"13_CR10","unstructured":"Kurz, A., Leal, R.: Modalities in the Stone age: A comparison of coalgebraic logics. In: MFPS XXV, Oxford (2009)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-78499-9_6","volume-title":"Foundations of Software Science and Computational Structures","author":"D. Pattinson","year":"2008","unstructured":"Pattinson, D., Schr\u00f6der, L.: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In: Amadio, R. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 66\u201380. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Rutten. Universal coalgebra: a theory of systems. Theor. Comput. Sci.\u00a0249(1), 3\u201380 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11690634_11","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, L.: A Finite Model Construction for Coalgebraic Modal Logic. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 157\u2013171. Springer, Heidelberg (2006)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Venema, Y.: Algebras and coalgebras. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier (2006)","DOI":"10.1016\/S1570-2464(07)80009-7"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T15:55:45Z","timestamp":1688054145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}