{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,2]],"date-time":"2024-10-02T04:16:11Z","timestamp":1727842571418},"reference-count":3,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T00:00:00Z","timestamp":1694736000000},"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":[[2024,9,25]]},"DOI":"10.1093\/jigpal\/jzad020","type":"journal-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T22:27:21Z","timestamp":1694816841000},"page":"936-937","source":"Crossref","is-referenced-by-count":0,"title":["Correction to: Decidability of interpretability logics <b>IL<\/b>\n                  <tt>M<\/tt>0 and <b>IL<\/b>\n                  <tt>W<\/tt>*"],"prefix":"10.1093","volume":"32","author":[{"given":"Luka","family":"Mikec","sequence":"first","affiliation":[{"name":"University of Zagreb"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tin","family":"Perkov","sequence":"additional","affiliation":[{"name":"University of Zagreb"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mladen","family":"Vukovi\u0109","sequence":"additional","affiliation":[{"name":"University of Zagreb"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,9,15]]},"reference":[{"key":"2024100113463695400_ref1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1002\/malq.202200042","article-title":"Bisimulations and bisimulation games between Verbrugge models","volume":"69","author":"Horvat","year":"2023","journal-title":"Mathematical Logic Quarterly"},{"key":"2024100113463695400_ref2","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1093\/jigpal\/jzx027","article-title":"Decidability of interpretability logics ILM$_0$ and ILW$^{\\ast}$","volume":"25","author":"Mikec","year":"2017","journal-title":"Logic Journal of the IGPL"},{"key":"2024100113463695400_ref3","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1002\/malq.201500030","article-title":"Filtrations of generalized Veltman models","volume":"62","author":"Perkov","year":"2016","journal-title":"Mathematical Logic Quarterly"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/5\/936\/59463932\/jzad020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/5\/936\/59463932\/jzad020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T13:46:52Z","timestamp":1727790412000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/32\/5\/936\/7273487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,15]]},"references-count":3,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2023,9,15]]},"published-print":{"date-parts":[[2024,9,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzad020","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2024,10]]},"published":{"date-parts":[[2023,9,15]]}}}