{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:11Z","timestamp":1740141431171,"version":"3.37.3"},"reference-count":14,"publisher":"Oxford University Press (OUP)","license":[{"start":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T00:00:00Z","timestamp":1528848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100004488","name":"Croatian Science Foundation","doi-asserted-by":"publisher","award":["UIP-05-2017-9219"],"award-info":[{"award-number":["UIP-05-2017-9219"]}],"id":[{"id":"10.13039\/501100004488","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1093\/jigpal\/jzy015","type":"journal-article","created":{"date-parts":[[2018,5,15]],"date-time":"2018-05-15T20:46:02Z","timestamp":1526417162000},"source":"Crossref","is-referenced-by-count":0,"title":["Complexity of the interpretability logic IL"],"prefix":"10.1093","author":[{"given":"Luka","family":"Mikec","sequence":"first","affiliation":[{"name":"Department of Mathematics, Faculty of Science, University of Zagreb, Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fedor","family":"Pakhomov","sequence":"additional","affiliation":[{"name":"National Research University Higher School of Economics, Moscow, Russia"},{"name":"Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mladen","family":"Vukovi\u0107","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Faculty of Science, University of Zagreb, Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,6,13]]},"reference":[{"volume-title":"The Logic of Provability","year":"1996","author":"Boolos","key":"key\n\t\t\t\t20180618194345_C1"},{"key":"key\n\t\t\t\t20180618194345_C2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.entcs.2011.10.005","article-title":"The closed fragment of IL is PSPACE-hard","volume":"278","author":"Bou","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180618194345_C3","first-page":"71","article-title":"How many variables does one need to prove PSPACE-hardness of modal logics?","author":"Chagrov","year":"2003","journal-title":"Advances in Modal Logic 4, P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, eds.,King\u2019s College Publications"},{"key":"key\n\t\t\t\t20180618194345_C4","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1093\/jigpal\/jzn013","article-title":"Modal matters in interpretability logics","volume":"16","author":"Goris","year":"2008","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20180618194345_C5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/jzp082","article-title":"A new principle in the interpretability logic of all reasonable arithmetical theories","volume":"19","author":"Goris","year":"2011","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20180618194345_C6","first-page":"31","article-title":"Provability logics for relative interpretability","volume-title":"Mathematical Logic, Proceedings of the 1988 Heyting Conference","author":"de Jongh","year":"1990"},{"key":"key\n\t\t\t\t20180618194345_C7","unstructured":"D. H. J. de Jongh and F.Veltman. Modal completeness of ILW. In Essays dedicated to Johan van Benthem on the occasion of his 50th birthday, J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, eds., University Press, Amsterdam, 1999."},{"key":"key\n\t\t\t\t20180618194345_C8","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal propositional logic","volume":"6","author":"Ladner","year":"1977","journal-title":"SIAM Journal of Computing"},{"key":"key\n\t\t\t\t20180618194345_C9","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1093\/jigpal\/jzx027","article-title":"Decidability of interpretability logics ILM$_0$ and ILW*","volume":"25","author":"Mikec","year":"2017","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20180618194345_C10","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1007\/s00153-014-0397-4","article-title":"On the complexity of the closed fragment of Japaridze\u2019s provability logic","volume":"53","author":"Pakhomov","year":"2014","journal-title":"Archive for Mathematical Logic"},{"key":"key\n\t\t\t\t20180618194345_C11","first-page":"289","article-title":"PSPACE-decidability of Japaridze\u2019s polymodal logic","volume-title":"Advances in Modal Logic 7","author":"Shapirovsky","year":"2010"},{"key":"key\n\t\t\t\t20180618194345_C12","article-title":"PhD thesis","volume-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"key\n\t\t\t\t20180618194345_C13","unstructured":"A. Visser . An overview of interpretability logic. In Advances in Modal Logic 1, M. Kracht, M. de Rijke, H. Wansing, and M. Zakhary, eds., pp.307\u2013359, CSLI Publications, 1998."},{"key":"key\n\t\t\t\t20180618194345_C14","first-page":"175","article-title":"Interpretability logic","volume-title":"Mathematical Logic, Proceedings of the 1988 Heyting Conference","author":"Visser","year":"1990"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzy015\/25052460\/jzy015.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T01:06:17Z","timestamp":1604279177000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/advance-article\/doi\/10.1093\/jigpal\/jzy015\/5033828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,13]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy015","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published":{"date-parts":[[2018,6,13]]}}}