{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T03:05:26Z","timestamp":1649041526722},"reference-count":26,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"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":1884,"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":[[2008,6]]},"DOI":"10.1016\/j.entcs.2008.05.025","type":"journal-article","created":{"date-parts":[[2008,6,8]],"date-time":"2008-06-08T05:00:59Z","timestamp":1212901259000},"page":"175-194","source":"Crossref","is-referenced-by-count":2,"title":["Functorial Coalgebraic Logic: The Case of Many-sorted Varieties"],"prefix":"10.1016","volume":"203","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Daniela","family":"Petri\u015fan","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2008.05.025_bib001","doi-asserted-by":"crossref","DOI":"10.1016\/0168-0072(91)90065-T","article-title":"Domain theory in logical form","volume":"51","author":"Abramsky","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.entcs.2008.05.025_bib002","doi-asserted-by":"crossref","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":"Theoret. Comput. Sci."},{"key":"10.1016\/j.entcs.2008.05.025_bib003","series-title":"Locally Presentable and Accessible Categories","author":"Ad\u00e1mek","year":"1994"},{"key":"10.1016\/j.entcs.2008.05.025_bib004","article-title":"On sifted colimits and generalized varieties","volume":"8","author":"Ad\u00e1mek","year":"2001","journal-title":"Th. Appl. Categ."},{"key":"10.1016\/j.entcs.2008.05.025_bib005","article-title":"Defining relations of finite symmetric semigroups","volume":"45","author":"Aizen\u0161tat","year":"1958","journal-title":"Math. Sb. N. S."},{"key":"10.1016\/j.entcs.2008.05.025_bib006","unstructured":"M. Bonsangue and A. Kurz. Duality for logics of transition systems. In FoSSaCS'05"},{"key":"10.1016\/j.entcs.2008.05.025_bib007","unstructured":"M. Bonsangue and A. Kurz. Pi-calculus in logical form. In LICS'07"},{"key":"10.1016\/j.entcs.2008.05.025_bib008","unstructured":"M. Bonsangue and A. Kurz. Presenting functors by operations and equations. In FoSSaCS'06"},{"key":"10.1016\/j.entcs.2008.05.025_bib009","unstructured":"C. C\u00eerstea and D. Pattinson. Modular construction of modal logics. In CONCUR'04"},{"key":"10.1016\/j.entcs.2008.05.025_bib010","unstructured":"M. Fiore and C.-K. Hur. Equational systems and free constructions. In ICALP'07"},{"key":"10.1016\/j.entcs.2008.05.025_bib011","unstructured":"M. Fiore, G. Plotkin, and D. Turi. Abstract syntax and variable binding. In LICS'99"},{"key":"10.1016\/j.entcs.2008.05.025_bib012","unstructured":"M. Gabbay and A. Pitts. A new approach to abstract syntax involving binders. In LICS'99"},{"key":"10.1016\/j.entcs.2008.05.025_bib013","unstructured":"M. Hofmann. Semantical analysis of higher-order abstract syntax. In LICS'99"},{"key":"10.1016\/j.entcs.2008.05.025_bib014","doi-asserted-by":"crossref","DOI":"10.1051\/ita:2001108","article-title":"Many-sorted coalgebraic modal logic: a model-theoretic study","volume":"35","author":"Jacobs","year":"2001","journal-title":"Theor. Inform. Appl."},{"key":"10.1016\/j.entcs.2008.05.025_bib015","unstructured":"B. Klin. The least fibred lifting and the expressivity of coalgebraic modal logic. In CALCO'05"},{"key":"10.1016\/j.entcs.2008.05.025_bib016","doi-asserted-by":"crossref","unstructured":"B. Klin. Coalgebraic modal logic beyond sets. In MFPS'07, 2007","DOI":"10.1016\/j.entcs.2007.02.034"},{"key":"10.1016\/j.entcs.2008.05.025_bib017","unstructured":"C. Kupke, A. Kurz, and D. Pattinson. Algebraic semantics for coalgebraic logics. In CMCS'04"},{"key":"10.1016\/j.entcs.2008.05.025_bib018","doi-asserted-by":"crossref","DOI":"10.1017\/S0960129505004755","article-title":"Coalgebraic modal logic of finite rank","volume":"15","author":"Kurz","year":"2005","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/j.entcs.2008.05.025_bib019","unstructured":"A. Kurz and J. Rosick\u00fd. The Goldblatt-Thomason-theorem for coalgebras. In CALCO'07"},{"key":"10.1016\/j.entcs.2008.05.025_bib020","unstructured":"A. Kurz and J. Rosick\u00fd. Strongly complete logics for coalgebras. July 2006. Submitted"},{"key":"10.1016\/j.entcs.2008.05.025_bib021","doi-asserted-by":"crossref","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.entcs.2008.05.025_bib022","unstructured":"D. Pattinson. Semantical principles in the modal logic of coalgebras. In STACS'01"},{"key":"10.1016\/j.entcs.2008.05.025_bib023","doi-asserted-by":"crossref","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":"Theoret. Comput. Sci."},{"key":"10.1016\/j.entcs.2008.05.025_bib024","series-title":"A Course in the Theory of Groups","author":"Robinson","year":"1996"},{"key":"10.1016\/j.entcs.2008.05.025_bib025","unstructured":"M. R\u00f6\u00dfiger. Coalgebras and modal logic. In CMCS'00"},{"key":"10.1016\/j.entcs.2008.05.025_bib026","unstructured":"L. Schr\u00f6der. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In FoSSaCS'05"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108003393?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108003393?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T21:27:31Z","timestamp":1557610051000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066108003393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":26,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["S1571066108003393"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2008.05.025","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2008,6]]}}}