{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T00:02:32Z","timestamp":1705276952962},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4472,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80909-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"205-226","source":"Crossref","is-referenced-by-count":5,"title":["Modal Operators for Coequations"],"prefix":"10.1016","volume":"44","author":[{"given":"Jesse","family":"Hughes","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB1","volume":"volume 1","year":"1992"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB2","unstructured":"Steve Awodey and Jesse Hughes. The coalgebraic dual of Birkhoff's variety theorem. Technical Report CMU-PHIL-109, Carnegie Mellon University, Pittsburgh, PA, 15213, November 2000."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"H. Andr\u00e9ka, and I. N\u00e9meti. A general axiomatizability theorem formulated in terms of cone-injective subcategories. In Proc. Conf. \u201cUniversal Algebra Esztergom 1977\u201d, pages 13\u201315. North-Holland, Amsterdam, 1982.","DOI":"10.1016\/B978-0-7204-0725-9.50006-X"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Ji\u0159\u00ed Ad\u00e1mek and Ji\u0159\u00ed Rosick\u00fd. Locally Presentable and Accessible Categories, volume 189 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511600579"},{"issue":"2","key":"10.1016\/S1571-0661(04)80909-5_NEWBIB5","article-title":"Subcategories defined by implications","volume":"2","author":"Banaschewski","year":"1976","journal-title":"Houston Journal of Mathematics"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"G. Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433\u2013454, 1935.","DOI":"10.1017\/S0305004100013463"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB7","series-title":"Handbook of Categorical Algebra I-III","author":"Borceux","year":"1994"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB8","series-title":"Electronic Notes in Theoretical Computer Science, volume 44. Coalgebraic Methods in Computer Science (CMCS'2000)","year":"2001"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB9","series-title":"Universal Algebra","author":"Gr\u00e4tzer","year":"1968"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB10","unstructured":"H. Peter Gumm and Tobias Schr\u00f6der. Covarieties and complete covarieties. In Jacobs et al. [JMRR98], pages 43\u201356."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB11","unstructured":"H. Peter Gumm. Equational and implicational classes of coalgebras, 1998. Extended Abstract submitted for RelMiCS'4."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB12","unstructured":"H. Peter Gumm. Functors for coalgebras. Preprint, 1998."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB13","unstructured":"H. Peter Gumm. Birkhoff's variety theorem for coalgebras. Cont. to General Algebra 2000, To appear 2001."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB14","unstructured":"Jesse Hughes. A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon University, 2001."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60043-4_57","article-title":"Mongruences and cofree coalgebras","volume":"936","author":"Jacobs","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB16","unstructured":"B.P.F. Jacobs. The temporal logic of coalgebras via Galois algebras. Technical Report CSI-R9906, Computing Science Institute, April 1999."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB17","volume":"volume 11","year":"1998"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB18","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB19","unstructured":"Alexander Kurz. A co-variety-theorem for modal logic. Proceedings of Advances in Modal Logic, 1998."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB20","unstructured":"Alexander Kurz. Modal rules are co-implications. Draft. Available at http:\/\/helios.pst.informatik.uni-muenchen.de\/~kurz, February 1999."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB21","unstructured":"Alexander Kurz. Logics for Coalgebras and Applications for Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB22","series-title":"Number 26 in Graduate Texts in Mathematics","article-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB23","doi-asserted-by":"crossref","unstructured":"Dragan Ma\u0161ulovi\u0107. Invariants of monadic coalgebras. In Corradini et al. [CLM01].","DOI":"10.1016\/S1571-0661(04)80912-5"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB24","doi-asserted-by":"crossref","unstructured":"K. Meinke and J. V. Tucker. Universal algebra. In Abramsky et al. [AGM92], pages 189\u2013412.","DOI":"10.1093\/oso\/9780198537359.003.0003"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB25","doi-asserted-by":"crossref","unstructured":"Erik Poll and Jan Zwanenburg. From algebras and coalgebras to dialgebras. In Corradini et al. [CLM01].","DOI":"10.1016\/S1571-0661(04)80915-0"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB26","doi-asserted-by":"crossref","unstructured":"J. Rothe, B. Jacobs, and H. Tews. The coalgebraic class specification language ccsl. Journal of Universal Computer Science, To appear 2001.","DOI":"10.1007\/3-540-47797-7_7"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB27","article-title":"Equational axiomatizability for coalgebra","volume":"260","author":"Ro\u015fu","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB28","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, Centrum voor Wiskunde en Informatica, 1996."},{"key":"10.1016\/S1571-0661(04)80909-5_NEWBIB29","unstructured":"Daniele Turi. Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam, June 1996."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809095?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809095?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T12:57:25Z","timestamp":1705237045000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809095"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80909-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}