{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T23:09:32Z","timestamp":1784243372204,"version":"3.55.0"},"reference-count":5,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2014,4,1]]},"DOI":"10.1093\/jigpal\/jzt030","type":"journal-article","created":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:10:22Z","timestamp":1377994222000},"page":"309-332","source":"Crossref","is-referenced-by-count":33,"title":["Swap logic"],"prefix":"10.1093","volume":"22","author":[{"given":"C.","family":"Areces","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"3_46349620","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1017\/S1755020310000389","volume":"4","year":"2011","journal-title":"THE REVIEW OF SYMBOLIC LOGIC"},{"key":"4_46349621","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1016\/j.apal.2011.09.005","volume":"163","year":"2012","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"7_28295516","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","year":"1995","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"16_37705049","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","year":"2007","ISSN":"https:\/\/id.crossref.org\/issn\/0039-7857","issn-type":"print"},{"key":"22_46349622","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2266241","volume":"17","year":"1952","journal-title":"JOURNAL OF SYMBOLIC LOGIC"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/22\/2\/309\/2073723\/jzt030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T06:26:10Z","timestamp":1503469570000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzt030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,30]]},"references-count":5,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2014,3,25]]},"published-print":{"date-parts":[[2014,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzt030","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,30]]}}}