{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T13:26:51Z","timestamp":1724333211208},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"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":3162,"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":[[2004,12]]},"DOI":"10.1016\/j.entcs.2004.02.028","type":"journal-article","created":{"date-parts":[[2004,12,13]],"date-time":"2004-12-13T12:55:14Z","timestamp":1102942514000},"page":"121-143","source":"Crossref","is-referenced-by-count":31,"special_numbering":"C","title":["A Coalgebraic Perspective on Monotone Modal Logic"],"prefix":"10.1016","volume":"106","author":[{"given":"Helle Hvid","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Kupke","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2004.02.028_bib001","series-title":"Category Theory and Computer Science","first-page":"357","article-title":"A final coalgebra theorem","volume":"volume 389","author":"Aczel","year":"1989"},{"key":"10.1016\/j.entcs.2004.02.028_bib002","series-title":"Compositionality: The Significant Difference","first-page":"23","article-title":"Alternating-time temporal logic","volume":"1536","author":"Alur","year":"1998"},{"key":"10.1016\/j.entcs.2004.02.028_bib003","unstructured":"J. van Benthem. Modal Correspondence Theory. PhD thesis, University of Amsterdam, 1976"},{"key":"10.1016\/j.entcs.2004.02.028_bib004","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/j.entcs.2004.02.028_bib005","series-title":"Modal Logic - An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/j.entcs.2004.02.028_bib006","series-title":"General Topology","author":"Engelking","year":"1989"},{"issue":"2","key":"10.1016\/j.entcs.2004.02.028_bib007","first-page":"197","article-title":"Monotone bounded distributive lattice expansions","volume":"52","author":"Gehrke","year":"2000","journal-title":"Mathematica Japonica"},{"key":"10.1016\/j.entcs.2004.02.028_bib008","first-page":"41","article-title":"Metamathematics of modal logic, part I","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/j.entcs.2004.02.028_bib009","first-page":"21","article-title":"Metamathematics of modal logic, part II","volume":"7","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/j.entcs.2004.02.028_bib010","series-title":"Coalgebraic Methods in Computer Science (CMCS'01)","article-title":"A calculus of terms for coalgebras of polynomial functors","volume":"volume 44.1","author":"Goldblatt","year":"2001"},{"key":"10.1016\/j.entcs.2004.02.028_bib011","first-page":"135","article-title":"Functors for coalgebras","volume":"45","author":"Peter Gumm","year":"2001","journal-title":"Algebra Universalis"},{"key":"10.1016\/j.entcs.2004.02.028_bib012","unstructured":"H.H. Hansen. Monotonic modal logic (Master's thesis). Preprint 2003-24, ILLC, University of Amsterdam, 2003"},{"issue":"1","key":"10.1016\/j.entcs.2004.02.028_bib013","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita:2001108","article-title":"Many-sorted coalgebraic modal logic: a model-theoretic study","volume":"35","author":"Jacobs","year":"2001","journal-title":"Theoretical Informatics and Applications"},{"key":"10.1016\/j.entcs.2004.02.028_bib014","series-title":"Stone Spaces","author":"Johnstone","year":"1982"},{"key":"10.1016\/j.entcs.2004.02.028_bib015","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/j.entcs.2004.02.028_bib016","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/j.entcs.2004.02.028_bib017","series-title":"Coalgebraic Methods in Computer Science (CMCS'03)","article-title":"Stone coalgebras","volume":"volume 82.1","author":"Kupke","year":"2003"},{"key":"10.1016\/j.entcs.2004.02.028_bib018","unstructured":"A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000"},{"key":"10.1016\/j.entcs.2004.02.028_bib019","series-title":"Proceedings of CMCS 2002","article-title":"Definability, canonical models, compactness for finitary coalgebraic modal logic","volume":"volume 65.1","author":"Kurz","year":"2002"},{"key":"10.1016\/j.entcs.2004.02.028_bib020","series-title":"Category Theory for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/j.entcs.2004.02.028_bib021","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/A:1005064504044","article-title":"Interpolation and amalgamation; pushing the limits. Part I","volume":"61","author":"Madar\u00e1sz","year":"1998","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2004.02.028_bib022","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1005119811423","article-title":"Interpolation and amalgamation; pushing the limits. Part II","volume":"62","author":"Madar\u00e1sz","year":"1999","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2004.02.028_bib023","unstructured":"M. Marx. Algebraic Relativization and Arrow Logic. PhD thesis, University of Amsterdam, 1995"},{"key":"10.1016\/j.entcs.2004.02.028_bib024","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\/j.entcs.2004.02.028_bib025","series-title":"Topics in the Theory of Computation","article-title":"The logic of games and its applications","volume":"24","author":"Parikh","year":"1985"},{"key":"10.1016\/j.entcs.2004.02.028_bib026","series-title":"Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STACS 2001)","article-title":"Semantical principles in the modal logic of coalgebras","volume":"volume 2010","author":"Pattinson","year":"2001"},{"key":"10.1016\/j.entcs.2004.02.028_bib027","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","article-title":"Coalgebraic modal logic: soundness, completeness and decidability of local consequence","volume":"309","author":"Pattinson","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2004.02.028_bib028","unstructured":"M. Pauly. Bisimulation for general non-normal modal logic. Manuscript, 1999"},{"key":"10.1016\/j.entcs.2004.02.028_bib029","unstructured":"M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001"},{"key":"10.1016\/j.entcs.2004.02.028_bib030","series-title":"Coalgebraic Methods in Computer Science (CMCS'00)","first-page":"299","article-title":"Coalgebras and modal logic","volume":"volume 33","author":"R\u00f6\u00dfiger","year":"2000"},{"key":"10.1016\/j.entcs.2004.02.028_bib031","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\/j.entcs.2004.02.028_bib032","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","article-title":"Topology and duality in modal logic","volume":"37","author":"Sambin","year":"1988","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.entcs.2004.02.028_bib033","series-title":"Coalgebraic Methods in Computer Science (CMCS'00)","article-title":"On corelations, cokernels, and coequations","volume":"volume 33","author":"Wolter","year":"2000"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104051722?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104051722?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T15:21:06Z","timestamp":1548948066000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104051722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":33,"alternative-id":["S1571066104051722"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2004.02.028","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}