{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:28Z","timestamp":1761611188171,"version":"3.41.0"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGACT News"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1145\/1140612.1140628","type":"journal-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T17:00:26Z","timestamp":1153760426000},"page":"57-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Coalgebras and their logics"],"prefix":"10.1145","volume":"37","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[{"name":"University of Leicester, UK"}]}],"member":"320","published-online":{"date-parts":[[2006,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets. Invited Lecture at BCTCS 1988.  S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets. Invited Lecture at BCTCS 1988."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1991.9999"},{"key":"e_1_2_1_3_1","first-page":"51","author":"Abramsky S.","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"volume-title":"Handbook of Logic in Computer Science. OUP","year":"1994","author":"Abramsky S.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","unstructured":"P. Aczel. Non-Well-Founded Sets. CSLI Stanford 1988.  P. Aczel. Non-Well-Founded Sets. CSLI Stanford 1988."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40020-2_2"},{"key":"e_1_2_1_7_1","first-page":"9","author":"Barbosa L.","year":"2003","journal-title":"J. Univ. Comp. Sci."},{"volume-title":"Vrije Universiteit Amsterdam","year":"2004","author":"Bartels F.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.019"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/381193"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00048-2"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_29"},{"volume-title":"Draft","year":"2006","author":"Bonsangue M.","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_12"},{"volume-title":"Vrije Universiteit Amsterdam","year":"1996","author":"Bonsangue M. M.","key":"e_1_2_1_15_1"},{"volume-title":"Cambridge University Press","year":"2001","author":"Brink C.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80635-2"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_17"},{"volume-title":"Cambridge University Press","year":"1990","author":"Davey B. A.","key":"e_1_2_1_19_1"},{"volume-title":"MIT Press","year":"1996","author":"de Bakker J.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00035-3"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.017"},{"volume-title":"LICS 96","year":"1996","author":"Fiore M.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1167899.1167900"},{"key":"e_1_2_1_25_1","first-page":"6","author":"Goldblatt R.","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_2_1_26_1","first-page":"123","author":"Goldblatt R.","year":"2003","journal-title":"Ann. Pure Appl. Logic"},{"volume-title":"LUATCS'99","year":"1999","author":"Gumm H. P.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773576.2773744"},{"key":"e_1_2_1_29_1","unstructured":"B. Jacobs. Introduction to Coalgebra. Towards Mathematics of States and Observations. In preparation draft electronically available.  B. Jacobs. Introduction to Coalgebra. Towards Mathematics of States and Observations. In preparation draft electronically available."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/261075.261479"},{"key":"e_1_2_1_31_1","first-page":"35","author":"Jacobs B.","year":"2001","journal-title":"Theor. Inform. Appl."},{"key":"e_1_2_1_32_1","unstructured":"B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62 1997.  B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62 1997."},{"key":"e_1_2_1_33_1","unstructured":"P. Johnstone. Stone Spaces. Cambridge University Press 1982.  P. Johnstone. Stone Spaces. Cambridge University Press 1982."},{"key":"e_1_2_1_34_1","first-page":"73","author":"J\u00f3nsson B.","year":"1951","journal-title":"Boolean algebras with operators, part 1. Amer. J. Math."},{"key":"e_1_2_1_35_1","first-page":"74","author":"J\u00f3nsson B.","year":"1952","journal-title":"Boolean algebras with operators, part 2. American Journal of Mathematics"},{"key":"e_1_2_1_36_1","unstructured":"C. Karp. Languages with Expressions of Infinite Length. North-Holland 1964.  C. Karp. Languages with Expressions of Infinite Length. North-Holland 1964."},{"volume-title":"University of Aarhus","year":"2004","author":"Klin B.","key":"e_1_2_1_37_1"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11548133_16"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2003.7085020"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773576.2773748"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11548133_17"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.023"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.10"},{"key":"e_1_2_1_44_1","unstructured":"A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis LMU 2000.  A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis LMU 2000."},{"volume-title":"CSLI","year":"2001","author":"Kurz A.","key":"e_1_2_1_45_1"},{"volume-title":"Coalgebras and Modal Logic - Course Notes for ESSLLI 2001","year":"2001","author":"Kurz A.","key":"e_1_2_1_46_1"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004402"},{"key":"e_1_2_1_49_1","doi-asserted-by":"crossref","unstructured":"S. Milius and L. Moss. The category theoretic solution of recursive program schemes. 2006. Draft.  S. Milius and L. Moss. The category theoretic solution of recursive program schemes. 2006. Draft.","DOI":"10.1007\/11548133_19"},{"key":"e_1_2_1_50_1","first-page":"96","author":"Moss L.","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1148961.1709592"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40020-2_22"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.026"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00201-9"},{"volume-title":"Course Notes for NASSLLI","year":"2003","author":"Pattinson D.","key":"e_1_2_1_55_1"},{"key":"e_1_2_1_56_1","first-page":"45","author":"Pattinson D.","year":"2004","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"e_1_2_1_57_1","first-page":"5","author":"Reichel H.","year":"1995","journal-title":"Math. Structures Comput. Sci."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00128-6"},{"key":"e_1_2_1_59_1","first-page":"7","author":"Rothe J.","year":"2001","journal-title":"The coalgebraic class specification language CCSL. J. Univ. Comp. Sci."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/646733.701306"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"e_1_2_1_62_1","first-page":"8","author":"Rutten J.","year":"2003","journal-title":"J. Autom. Lang. Comb."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.019"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_28"},{"volume-title":"OUP","year":"1993","author":"Smyth M.","key":"e_1_2_1_65_1"},{"volume-title":"LICS 96","year":"1996","author":"Stark I.","key":"e_1_2_1_66_1"},{"key":"e_1_2_1_67_1","first-page":"40","author":"Stone M. H.","year":"1936","journal-title":"Trans. Amer. Math. Soc"},{"key":"e_1_2_1_68_1","doi-asserted-by":"crossref","unstructured":"M. H. Stone. Topological representation of distributive lattices and Brouwerian lattices. \u010casopis p\u011bst. mat. fys. 67 1937.  M. H. Stone. Topological representation of distributive lattices and Brouwerian lattices. \u010casopis p\u011bst. mat. fys. 67 1937.","DOI":"10.21136\/CPMF.1938.124080"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/788019.788864"},{"volume-title":"TACAS'01","year":"2031","author":"van den Berg J.","key":"e_1_2_1_70_1"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.06.003"},{"key":"e_1_2_1_72_1","unstructured":"Y. Venema. Handbook of Modal Logic chapter Algebras and Coalgebras. To appear. Electronically available.  Y. Venema. Handbook of Modal Logic chapter Algebras and Coalgebras. To appear. Electronically available."},{"volume-title":"CUP","year":"1989","author":"Vickers S. J.","key":"e_1_2_1_73_1"}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140612.1140628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140612.1140628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:36Z","timestamp":1750278156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140612.1140628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":73,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["10.1145\/1140612.1140628"],"URL":"https:\/\/doi.org\/10.1145\/1140612.1140628","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[2006,6]]},"assertion":[{"value":"2006-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}