{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:26Z","timestamp":1759639046517},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1093\/logcom\/exs044","type":"journal-article","created":{"date-parts":[[2012,10,16]],"date-time":"2012-10-16T04:10:49Z","timestamp":1350360649000},"page":"95-116","source":"Crossref","is-referenced-by-count":12,"title":["Initial semantics in logics with constructors"],"prefix":"10.1093","volume":"25","author":[{"given":"D.","family":"G\u00a0in\u00a0","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Futatsugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,10,15]]},"reference":[{"key":"3_43940587","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2005.09.002","volume":"67","year":"2006","journal-title":"THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING"},{"key":"4_43940588","first-page":"471","volume":"3","year":"2003","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"6_29022098","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","year":"1940","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"7_39522361","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11787-008-0035-1","volume":"2","year":"2008","journal-title":"LOGICA UNIVERSALIS"},{"key":"8_43940672","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","year":"1998","journal-title":"APPLIED CATEGORICAL STRUCTURES"},{"key":"9_27570728","first-page":"321","volume":"55","year":"2003","journal-title":"FUNDAMENTA INFORMATICAE"},{"issue":"5","key":"10_20351170","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","volume":"14","author":"Diaconescu","year":"2004","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"11_43940590","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.ipl.2004.01.005","volume":"90","year":"2004","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"14_39522366","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","year":"2002","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"20_36679575","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","year":"1992","journal-title":"JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY"},{"key":"21_36679573","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","year":"1994","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"22_36679574","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","year":"1992","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"23_39522369","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","year":"2002","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"24_27511006","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","year":"1950","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"26_43940591","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0020-0190(02)00480-5","volume":"86","year":"2003","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"27_43940592","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2008.02.018","volume":"201","year":"2008","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"29_43940593","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","year":"1988","journal-title":"INFORMATION AND COMPUTATION"},{"key":"30_43940594","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/j.tcs.2004.09.037","volume":"331","year":"2005","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"31_43940595","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","year":"1985","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"33_27570736","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0022-0000(86)90057-7","volume":"33","year":"1986","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/1\/95\/5152574\/exs044.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T17:30:54Z","timestamp":1503509454000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,15]]},"references-count":20,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,28]]},"published-print":{"date-parts":[[2015,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs044","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,15]]}}}