{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:16Z","timestamp":1761611176413},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_12","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:15:28Z","timestamp":1143555328000},"page":"172-186","source":"Crossref","is-referenced-by-count":14,"title":["Presenting Functors by Operations and Equations"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Kurz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic\u00a051 (1991)","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"12_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":"12_CR3","volume-title":"Automata and Algebras in Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories. Kluwer, Dordrecht (1990)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. CUP (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bonsangue, M., Jacobs, B., Kok, J.N.: Duality beyond sober spaces: Topological spaces and observation frames. Theoret. Comput. Sci.\u00a0151 (1995)","DOI":"10.1016\/0304-3975(95)00048-2"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bonsangue, M., Kok, J.: Towards and infinitary logic of domains: Abramsky logic for transition systems. Inform. and Comput.\u00a0155 (1995)","DOI":"10.1006\/inco.1999.2827"},{"key":"12_CR7","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":"12_CR8","doi-asserted-by":"crossref","unstructured":"Bonsangue, M., Kurz, A., Rewitzky, I.: Coalgebraic representations of distributive lattices with operators. Topology and its Applications (to appear)","DOI":"10.1016\/j.topol.2005.10.010"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2004","DOI":"10.1007\/978-3-540-28644-8_17","volume-title":"CONCUR 2004 - Concurrency Theory","author":"C. C\u00eerstea","year":"2004","unstructured":"C\u00eerstea, C., Pattinson, D.: Modular construction of modal logics. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, p. 2004. Springer, Heidelberg (2004)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Positive modal logic. Studia Logica\u00a055(2) (1995)","DOI":"10.1007\/BF01061239"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theor. Inform. Appl.\u00a035 (2001)","DOI":"10.1051\/ita:2001108"},{"key":"12_CR12","volume-title":"Stone Spaces","author":"P. Johnstone","year":"1982","unstructured":"Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"12_CR13","unstructured":"Johnstone, P.: Vietoris locales and localic semilattices. In: Continuous Lattices and their Applications, Marcel Dekker. Lecture Notes in Pure and Applied Mathematics, vol.\u00a0101 (1985)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kelly, G., Power, J.: Adjunctions whose counits are coequalizers and presentations of enriched monads. J.Pure Appl. Algebra\u00a089 (1993)","DOI":"10.1016\/0022-4049(93)90092-8"},{"key":"12_CR15","volume-title":"Tools and Techniques in Modal Logic","author":"M. Kracht","year":"1999","unstructured":"Kracht, M.: Tools and Techniques in Modal Logic. Elsevier, Amsterdam (1999)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: lgebraic semantics for coalgebraic logics. In: CMCS 2004. ENTCS (2004)","DOI":"10.1016\/j.entcs.2004.02.037"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2005","DOI":"10.1007\/11548133_17","volume-title":"Algebra and Coalgebra in Computer Science","author":"C. Kupke","year":"2005","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Ultrafilter extensions of coalgebras. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, p. 2005. Springer, Heidelberg (2005)"},{"key":"12_CR18","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":"12_CR19","doi-asserted-by":"crossref","unstructured":"Kurz, A.: Specifying coalgebras with modal logic. Theoret. Comput. Sci.\u00a0260 (2001)","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Linton, F.: An outline of functorial semantics. In: Seminar on triples and categorical homology theory. LNM, vol.\u00a080 (1969)","DOI":"10.1007\/BFb0083080"},{"key":"12_CR21","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":"12_CR22","doi-asserted-by":"crossref","unstructured":"Moss, L., Viglizzo, I.: Harsanyi type spaces and final coalgebras constructed from satisfied theories. In: CMCS 2004. ENTCS (2004)","DOI":"10.1016\/j.entcs.2004.02.036"},{"key":"12_CR23","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":"12_CR24","doi-asserted-by":"crossref","unstructured":"Reiterman, J.: Algebraic theories and varieties of functor algebras. Fund. Math.\u00a0118 (1983)","DOI":"10.4064\/fm-118-1-59-68"},{"key":"12_CR25","unstructured":"Robinson, E.: Powerdomains, modalities and the Vietoris monad. Technical report, Computer Laboratory Technical Report 98, University of Cambridge (1986)"},{"key":"12_CR26","unstructured":"Rosick\u00fd, J.: On algebraic categories. In: Universal Algebra (Proc. Coll. Esztergom 1977). Colloq. Math. Soc. J. Bolyai, vol.\u00a029 (1981)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"R\u00f6\u00dfiger, M.: Coalgebras and modal logic. In: CMCS 2000. ENTCS, vol.\u00a033 (2000)","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"12_CR28","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":"12_CR29","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":"12_CR30","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":"12_CR31","unstructured":"Vickers, S.J.: Topology Via Logic. CUP (1989)"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Note on powerdomains and modality. Theoret. Comp. Sci.\u00a036 (1985)","DOI":"10.1016\/0304-3975(85)90037-4"}],"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\/11690634_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T13:53:44Z","timestamp":1706968424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11690634_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}