{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:58:16Z","timestamp":1648983496220},"reference-count":9,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,10,1]]},"DOI":"10.1093\/logcom\/exs063","type":"journal-article","created":{"date-parts":[[2012,12,19]],"date-time":"2012-12-19T02:59:52Z","timestamp":1355885992000},"page":"1097-1106","source":"Crossref","is-referenced-by-count":0,"title":["On a coalgebraic view on Logic"],"prefix":"10.1093","volume":"23","author":[{"given":"D.","family":"Hofmann","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2012,12,18]]},"reference":[{"key":"1_44509561","first-page":"157","volume":"14","year":"2005","journal-title":"THEORY AND APPLICATIONS OF CATERGORIES"},{"key":"3_44534722","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BFb0060439","volume":"137","year":"1970","journal-title":"REPORTS OF THE MIDWEST CATEGORY SEMINAR IV LECTURE NOTES IN MATHEMATICS"},{"key":"6_44509563","first-page":"47","volume":"14","year":"2010","journal-title":"PRINCIPIAUFSC"},{"key":"8_32923611","first-page":"135","volume":"45","year":"2001","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"10_44509564","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10485-006-9019-6","volume":"14","year":"2006","journal-title":"APPLIED CATEGORICAL STRUCTURES"},{"key":"14_44509565","first-page":"254","volume":"65","year":"2002","journal-title":"ELECTRONIC NOTES IN THEORECTICAL COMPUTER SCIENCE"},{"key":"15_44509566","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF01349956","volume":"185","year":"1970","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"16_44509567","first-page":"118","volume":"21","year":"2008","journal-title":"THEORY AND APPLICATIONS OF CATEGORIES"},{"key":"17_44509568","first-page":"221","volume":"14","year":"2005","journal-title":"THEORY AND APPLICATIONS OF CATEGORIES"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/5\/1097\/2775459\/exs063.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:28:20Z","timestamp":1503487700000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,18]]},"references-count":9,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,9,25]]},"published-print":{"date-parts":[[2013,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs063","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,18]]}}}