{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:40:05Z","timestamp":1755841205985,"version":"3.44.0"},"reference-count":0,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:00:00Z","timestamp":1755216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,15]]},"DOI":"10.1093\/jigpal\/jzaf063","type":"journal-article","created":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T14:34:56Z","timestamp":1755700496000},"source":"Crossref","is-referenced-by-count":0,"title":["31st workshop on logic, language, information, and computation (<i>WoLLIC 2025<\/i>)"],"prefix":"10.1093","volume":"33","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[{"name":"Computer Science , Cornell University, Ithaca, NY 14853-7501, USA"}]},{"given":"Ruy","family":"de Queiroz","sequence":"additional","affiliation":[{"name":"Universidade Federal de Pernambuco , Centro de Inform\u00e1tica, Recife PE, 50740-560, Brazil"}]}],"member":"286","published-online":{"date-parts":[[2025,8,20]]},"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/5\/jzaf063\/64094838\/jzaf063.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/5\/jzaf063\/64094838\/jzaf063.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:11:33Z","timestamp":1755839493000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzaf063\/8238601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,15]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,8,15]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaf063","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2025,10]]},"published":{"date-parts":[[2025,8,15]]},"article-number":"jzaf063"}}