{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:45:42Z","timestamp":1648763142777},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"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":3681,"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":[[2003,7]]},"DOI":"10.1016\/s1571-0661(04)80641-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"221-236","source":"Crossref","is-referenced-by-count":1,"title":["Coalgebraic Semantics for Positive Modal Logic"],"prefix":"10.1016","volume":"82","author":[{"given":"Alessandra","family":"Palmigiano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1\ue4f82","key":"10.1016\/S1571-0661(04)80641-8_NEWBIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","article-title":"Theory in Logical Form","volume":"Vol. 51","author":"Abramsky","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB2","series-title":"Category Theory for Computing Science","author":"Barr","year":"1990"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB3","series-title":"A Paradigm for Program Semantics","author":"Brink","year":"2001"},{"issue":"No 6","key":"10.1016\/S1571-0661(04)80641-8_NEWBIB4","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","article-title":"Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic","volume":"Vol. 7","author":"Celani","year":"1999","journal-title":"L. J. of the IGPL"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB5","series-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB6","series-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","article-title":"Positive Modal Logic","volume":"Vol. 55","author":"Dunn","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB8","series-title":"\u201cGeneral Topology\u201d","author":"Engelking","year":"1977"},{"issue":"No 1","key":"10.1016\/S1571-0661(04)80641-8_NEWBIB9","first-page":"147","article-title":"Topological Kripke models","volume":"Vol. 15","author":"\u00c8sakia","year":"1974","journal-title":"Soviet Mathematik Doklade"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB10","series-title":"A General Algebraic Semantics for Sentential Logics","author":"Font","year":"1996"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","article-title":"Varieties of Complex Algebras","volume":"Vol. 44","author":"Goldblatt","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"issue":"No 1","key":"10.1016\/S1571-0661(04)80641-8_NEWBIB12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita:2001108","article-title":"Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study","volume":"Vol. 35","author":"Jacobs","year":"2001","journal-title":"Theoret. Informatics and Applications"},{"issue":"No. 3","key":"10.1016\/S1571-0661(04)80641-8_NEWBIB13","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1002\/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-T","article-title":"Full Models for Positive Modal Logic","volume":"Vol. 48","author":"Jansana","year":"2002","journal-title":"Math. Log. Quart"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB14","series-title":"\u201cStone Spaces\u201d","author":"Johnstone","year":"1982"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB15","unstructured":"Kupke C. General Frames as Coalgebras, to appear as CWI Technical Report, 2002."},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Kupke C. - Kurz A. - Venema Y. Stone Coalgebras, Proceedings of CMCS'03, 2003.","DOI":"10.1016\/S1571-0661(04)80638-8"},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB17","unstructured":"Palmigiano A. A New Coalgebraic Semantics for Positive Modal Logic, to appear as CWI Technical Report SEN-R0226, 2002."},{"key":"10.1016\/S1571-0661(04)80641-8_NEWBIB18","series-title":"Topology and Category Theory in Computer Science","first-page":"207","article-title":"Totally Bounded Spaces and Compact Ordered Spaces as Domains of Computation","author":"Smyth","year":"1991"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806418?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806418?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:13:41Z","timestamp":1585898021000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806418"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80641-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}