{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:18:57Z","timestamp":1648869537503},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"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":3954,"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":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80363-3","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"135-155","source":"Crossref","is-referenced-by-count":3,"title":["Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic"],"prefix":"10.1016","volume":"65","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(95)00011-K","article-title":"On the greatest fixed point of a set functor","volume":"150","author":"Ad\u00e1mek","year":"1995","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S1571-0661(04)80363-3_NEWBIB2","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","article-title":"Terminal coalgebras in well-founded set theory","volume":"114","author":"Barr","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB3","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB4","series-title":"General Topology","author":"Engelking","year":"1989"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB5","unstructured":"Jelle Gerbrandy. Bisimulations on Planet Kripke. PhD thesis, 1999."},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB6","unstructured":"Robert Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University, 1992. Second Edition."},{"issue":"1","key":"10.1016\/S1571-0661(04)80363-3_NEWBIB7","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":"Theoret. Informatics and Applications"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB8","unstructured":"Bart Jacobs. The temporal logic of coalgebras via galois algebras. Technical Report CSI-R9906, Computing Science Institute Nijmegen, 1999."},{"issue":"1","key":"10.1016\/S1571-0661(04)80363-3_NEWBIB9","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\/S1571-0661(04)80363-3_NEWBIB10","series-title":"General Topology","author":"Kelley","year":"1955"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB11","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)80363-3_NEWBIB12","unstructured":"Alexander Kurz. A co-variety-theorem for modal logic. In Advances in Modal Logic 2. Center for the Study of Language and Information, Stanford University, 2001. Selected Papers from AIML 2, Uppsala, 1998."},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Alexander Kurz. Modal rules are co-implications. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS'01), volume 44.1 of ENTCS. Elsevier, 2001.","DOI":"10.1016\/S1571-0661(04)80911-3"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB14","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0304-3975(00)00125-0","article-title":"Specifying coalgebras with modal logic","volume":"260","author":"Kurz","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80363-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)80363-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), volume 2010 of LNCS, Berlin, 2001. Springer. Also available as technical report at http:\/\/www.informatik.uni-muenchen.de\/~pattinso\/.","DOI":"10.1007\/3-540-44693-1_45"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB17","unstructured":"Dirk Pattinson. Coalgebraic Modal Logic: Soundness, Completeness and Decidablility. Technical report, Institut f\u00fcr Informatik, LMU M\u00fcnchen, 2002."},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB18","article-title":"On coalgebra of real numbers","volume":"volume 19","author":"Pavlovic","year":"2000"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB19","article-title":"Coalgebras and Modal Logic","volume":"volume 33","author":"R\u00f6\u00dfiger","year":"2000"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Martin R\u00f6\u00dfiger. Coalgebras and modal logic. In Horst Reichel, editor, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science, pages 299\u2013320, 2000.","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB21","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(00)00128-6","article-title":"From modal logic to terminal coalgebras","volume":"260","author":"R\u00f6\u00dfiger","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB22","unstructured":"J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3\u201380, 2000. First appeared as technical report CS R 9652, CWI, Amsterdam, 1996."},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB23","series-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB24","doi-asserted-by":"crossref","unstructured":"James Worrell. Terminal sequences for accessible endofunctors. In B. Jacobs and J. Rutten, editors, Coalgebraic Methods in Computer Science (CMCS'99), volume 19 of Electronic Notes in Theoretical Computer Science, pages 39\u201353, 1999.","DOI":"10.1016\/S1571-0661(05)80267-1"},{"key":"10.1016\/S1571-0661(04)80363-3_NEWBIB25","unstructured":"James Worrell. On Coalgebras and Final Semantics. PhD thesis, Oxford University Computing Laboratory, 2000."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803633?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803633?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T07:22:44Z","timestamp":1549178564000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104803633"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80363-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}