{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:06Z","timestamp":1725560346918},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286202"},{"type":"electronic","value":"9783540318767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_17","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T20:07:40Z","timestamp":1279742860000},"page":"263-277","source":"Crossref","is-referenced-by-count":16,"title":["Ultrafilter Extensions for Coalgebras"],"prefix":"10.1007","author":[{"given":"C.","family":"Kupke","sequence":"first","affiliation":[]},{"given":"A.","family":"Kurz","sequence":"additional","affiliation":[]},{"given":"D.","family":"Pattinson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: A domain equation for bisimulation. Information and Computation\u00a092 (1991)","DOI":"10.1006\/inco.1991.9999"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science. OUP (1994)","DOI":"10.1093\/oso\/9780198537625.001.0001"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. CSLI, Stanford (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_29","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Bonsangue","year":"2005","unstructured":"Bonsangue, M., Kurz, A.: Duality for logics of transition systems. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441. Springer, Heidelberg (2005)"},{"key":"17_CR5","unstructured":"Goldblatt, R.: Metamathematics of modal logic I. Reports on Mathematical Logic \u00a06 (1976)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theor. Inform. Appl. 35 (2001)","DOI":"10.1051\/ita:2001108"},{"key":"17_CR7","volume-title":"Stone Spaces","author":"P. Johnstone","year":"1982","unstructured":"Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, part 1. Amer. J. Math.\u00a073 (1951)","DOI":"10.2307\/2372123"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: CMCS 2004. ENTCS (2004)","DOI":"10.1016\/j.entcs.2004.02.037"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoret. Comput. Sci. \u00a0327 (2004)","DOI":"10.1016\/j.tcs.2004.07.023"},{"key":"#cr-split#-17_CR11.1","unstructured":"Kurz, A.: A co-variety-theorem for modal logic. In: Advances in Modal Logic 2. CSLI, Stanford, CA (2001);"},{"key":"#cr-split#-17_CR11.2","unstructured":"Selected Papers from AiML 2, Uppsala (1998)"},{"key":"#cr-split#-17_CR12.1","doi-asserted-by":"crossref","unstructured":"Kurz, A.: Specifying coalgebras with modal logic. Theoret. Comput. Sci. 260 (2001);","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"#cr-split#-17_CR12.2","unstructured":"Earlier version appeared in the Proceedings of CMCS 1998. ENTCS, vol. 11 (1998)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Kurz, A., Rosick\u00fd, J.: Operations and equations for coalgebras. Math. Structures Comput. Sci.\u00a015 (2005)","DOI":"10.1017\/S0960129504004402"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Moss, L.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096 (1999)","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Pattinson, D.: Coalgebraic modal logic: Soundness, completeness and decidability of local consequence. Theoret. Comput. Sci.\u00a0309 (2003)","DOI":"10.1016\/S0304-3975(03)00201-9"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction. Notre Dame Journal of Formal Logic\u00a045 (2004)","DOI":"10.1305\/ndjfl\/1094155277"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"R\u00f6\u00dfiger, M.: From modal logic to terminal coalgebras. Theoret. Comput. Sci.\u00a0260 (2001)","DOI":"10.1016\/S0304-3975(00)00128-6"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theoret. Comput. Sci.\u00a0249 (2000)","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Schroeder","year":"2005","unstructured":"Schroeder, L.: Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441. Springer, Heidelberg (2005)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Venema, Y.: Algebras and Coalgebras. In: Handbook of Modal Logic. Electronically available (to appear)","DOI":"10.1016\/S1570-2464(07)80009-7"}],"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\/11548133_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T16:10:35Z","timestamp":1711642235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11548133_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}