{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T07:11:04Z","timestamp":1722237064488},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2011,12,1]]},"DOI":"10.1093\/logcom\/exq029","type":"journal-article","created":{"date-parts":[[2010,8,12]],"date-time":"2010-08-12T01:10:19Z","timestamp":1281575419000},"page":"1035-1063","source":"Crossref","is-referenced-by-count":16,"title":["Cover semantics for quantified lax logic"],"prefix":"10.1093","volume":"21","author":[{"given":"R.","family":"Goldblatt","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2010,8,11]]},"reference":[{"key":"2_37885211","first-page":"541","volume":"11","year":"2001","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"7_37885212","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1017\/S0956796898002998","volume":"8","year":"1998","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"8_37885213","first-page":"357","volume":"19","year":"1956","journal-title":"MEDEDEDLINGEN DER KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN AFD LETTERKUNDE NIEUWE REEKS"},{"key":"9_37885214","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2266613","volume":"17","year":"1952","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"11_37885215","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","year":"2006","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"14_37885216","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","year":"1997","journal-title":"INFORMATION AND COMPUTATION"},{"key":"19_36515542","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","volume":"41","year":"1999","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"20_37885217","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1002\/malq.19810273104","volume":"27","year":"1981","journal-title":"ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK"},{"key":"22_37885218","first-page":"209","volume":"6","year":"2006","journal-title":"ADVANCES IN MODAL LOGIC"},{"key":"28_37885219","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(76)90002-5","volume":"9","year":"1976","journal-title":"JOURNAL OF PURE AND APPLIED ALGEBRA"},{"key":"30_37885220","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01881551","volume":"45","year":"1986","journal-title":"STUDIA LOGICA"},{"key":"33_37885221","first-page":"329","volume":"1","year":"1970","journal-title":"ACTES DES CONGRES INTERNATIONAL DES MATHEMATIQUES"},{"key":"34_37885222","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02483860","volume":"12","year":"1981","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"35_37885223","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","year":"1937","journal-title":"TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"37_29468882","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","year":"1991","journal-title":"INFORMATION AND COMPUTATION"},{"key":"39_37885224","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","year":"1968","ISSN":"http:\/\/id.crossref.org\/issn\/0040-5825","issn-type":"print"},{"key":"40_37885225","first-page":"1","volume":"67","year":"1937","journal-title":"CASOPIS PRO PESTOVANI MATEMATIKY A FYSIKY"},{"key":"41_36515547","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00012-007-2033-1","volume":"57","year":"2007","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"42_37885226","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2270047","volume":"33","year":"1968","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"45_37885227","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0168-0072(90)90059-B","volume":"50","year":"1990","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/21\/6\/1035\/2781942\/exq029.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:49:55Z","timestamp":1503488995000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exq029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,11]]},"references-count":20,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2011,11,22]]},"published-print":{"date-parts":[[2011,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exq029","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,11]]}}}