{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:44:39Z","timestamp":1648889079164},"reference-count":20,"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)80911-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"241-253","source":"Crossref","is-referenced-by-count":2,"title":["Modal Rules are Co-Implications"],"prefix":"10.1016","volume":"44","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB1","series-title":"Center for the Study of Language and Information","article-title":"Non-Well-Founded Sets","author":"Aczel","year":"1988"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB2","series-title":"Category Theory and Computer Science, volume 389 of LNCS","first-page":"357","article-title":"A final coalgebra theorem","author":"Aczel","year":"1989"},{"issue":"2","key":"10.1016\/S1571-0661(04)80911-3_NEWBIB3","first-page":"149","article-title":"Subcategories defined by implications","volume":"2","author":"Banaschewski","year":"1976","journal-title":"Houston Journal of Mathematics"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB4","series-title":"Handbook of Categorical Algebra","author":"Borceux","year":"1994"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Robert Goldblatt. What is the coalgebraic analogue of Birkhoff's variety theorem? Theoretical Computer Science. To appear.","DOI":"10.1016\/S0304-3975(00)00395-9"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB6","series-title":"Coalgebraic Methods in Computer Science (CMCS'98), volume 11 of Electronic Notes in Theoretical Computer Science","article-title":"Covarieties and complete covarieties","author":"Gumm","year":"1998"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB7","series-title":"Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science","first-page":"113","article-title":"Coalgebraic structure from weak limit preserving functors","author":"Gumm","year":"2000"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB8","unstructured":"H. Peter Gumm. Equational and implicational classes of co-algebras. Extended abstract. RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw, 1998."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB9","unstructured":"Bart Jacobs. The temporal logic of coalgebras via galois algebras. Technical Report CSI-R9906, Computing Science Institute Nijmegen, 1999."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB10","series-title":"Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science","first-page":"163","article-title":"Towards a duality result in coalgebraic modal logic","author":"Jacobs","year":"2000"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB11","series-title":"Temporal Logic of Programs","author":"Kr\u00f6ger","year":"1987"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB12","unstructured":"Alexander Kurz. Specifying coalgebras with modal logic. Theoretical Computer Science, 260(1-2). To appear."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB13","unstructured":"Alexander Kurz. A co-variety-theorem for modal logic. In Proceedings of Advances in Modal Logic 2, Uppsala, 1998. Center for the Study of Language and Information, Stanford University, 2000."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB14","unstructured":"Alexander Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000. http:\/\/www.informatik.uni-muenchen.de\/~kurz."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB15","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Dirk Pattinson. Semantical principles in the modal logic of coalgebras. In Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STACS 2001), Lecture Notes in Computer Science, Berlin, 2001. Springer. To appear.","DOI":"10.1007\/3-540-44693-1_45"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB17","unstructured":"Martin R\u00f6\u00dfiger. From modal logic to terminal coalgebras. Theoretical Computer Science, 260(1-2). To appear."},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB18","series-title":"Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science","first-page":"299","article-title":"Coalgebras and modal logic","author":"R\u00f6\u00dfiger","year":"2000"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: A theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80911-3_NEWBIB20","series-title":"Universal Algebra for Computer Scientists, volume 25 of EATCS Monographs on Theoretical Computer Science","author":"Wechler","year":"1992"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809113?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809113?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:56:01Z","timestamp":1549173361000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809113"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80911-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}