{"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":1740141431122,"version":"3.37.3"},"reference-count":27,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2018,5,4]],"date-time":"2018-05-04T00:00:00Z","timestamp":1525392000000},"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\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["W1255-N23"],"award-info":[{"award-number":["W1255-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001822","name":"Austrian Academy of Sciences","doi-asserted-by":"publisher","award":["15-01-09218"],"award-info":[{"award-number":["15-01-09218"]}],"id":[{"id":"10.13039\/501100001822","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9,25]]},"DOI":"10.1093\/jigpal\/jzy012","type":"journal-article","created":{"date-parts":[[2018,4,6]],"date-time":"2018-04-06T01:46:20Z","timestamp":1522979180000},"page":"505-538","source":"Crossref","is-referenced-by-count":0,"title":["A many-sorted variant of Japaridze\u2019s polymodal provability logic"],"prefix":"10.1093","volume":"26","author":[{"given":"Gerald","family":"Berger","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Favoritenstra\u00dfe, Austria"}]},{"given":"Lev D","family":"Beklemishev","sequence":"additional","affiliation":[{"name":"Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia"},{"name":"National Research University Higher School of Economics, Moscow, Russia"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Favoritenstra\u00dfe, Austria"}]}],"member":"286","published-online":{"date-parts":[[2018,5,4]]},"reference":[{"key":"key\n\t\t\t\t20180924071203_C1","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1093\/jigpal\/jzv031","article-title":"Reduction of provability logics to $\\varSigma _1$-provability logics","volume":"23","author":"Ardeshir","year":"2015","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20180924071203_C2","unstructured":"S. N. Artemov and L. D.Beklemishev. Provability logic. In Handbook of Philosophical Logic, 2nd edn., pp. 229\u2013403. Kluwer, 2004."},{"key":"key\n\t\t\t\t20180924071203_C3","first-page":"75","article-title":"The Worm Principle","author":"Beklemishev","year":"2006"},{"key":"key\n\t\t\t\t20180924071203_C4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","article-title":"Provability algebras and proof-theoretic ordinals, I","volume":"128","author":"Beklemishev","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180924071203_C5","first-page":"197","article-title":"Reflection principles and provability algebras in formal arithmetic. Russian Mathematical Surveys","author":"Beklemishev","year":"2005"},{"key":"key\n\t\t\t\t20180924071203_C6","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1016\/j.apal.2009.06.011","article-title":"Kripke semantics for provability logic GLP","volume":"161","author":"Beklemishev","year":"2010","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180924071203_C7","unstructured":"L. D. Beklemishev . On the Craig interpolation and the fixed point properties of GLP. In Proofs, Categories and Computations. Essays in honor of G. Mints, Tributes,S. Feferman et al., eds, pp. 49\u201360. College Publications, London, 2010b."},{"key":"key\n\t\t\t\t20180924071203_C8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1134\/S0081543811060046","article-title":"A simplified proof of arithmetical completeness theorem for provability logic GLP","volume":"274","author":"Beklemishev","year":"2011","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"key":"key\n\t\t\t\t20180924071203_C9","unstructured":"L. D. Beklemishev . Calibrating provability logic: from modal logic to reflection calculus. In Advances in Modal Logic, vol. 9,T.Bolander, T.Bra\u00fcner, S.Ghilardi and L.Moss, eds, pp. 89\u201394. College Publications, London, 2012."},{"key":"key\n\t\t\t\t20180924071203_C10","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.apal.2013.07.006","article-title":"Positive provability logic for uniform reflection principles","volume":"165","author":"Beklemishev","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180924071203_C11","doi-asserted-by":"crossref","unstructured":"L. D. Beklemishev . On the reflection calculus with partial conservativity operators. In Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18\u201321, 2017, Proceedings, pp. 48\u201367, 2017a.","DOI":"10.1007\/978-3-662-55386-2_4"},{"key":"key\n\t\t\t\t20180924071203_C12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1134\/S106456241701015X","article-title":"On the reduction property for GLP-algebras","volume":"95","author":"Beklemishev","year":"2017","journal-title":"Doklady Mathematics"},{"key":"key\n\t\t\t\t20180924071203_C13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s11225-013-9490-7","article-title":"On provability logics with linearly ordered modalities","volume":"102","author":"Beklemishev","year":"2014","journal-title":"Studia Logica"},{"article-title":"Intuitionistic logic. Technical Report. Institute for Logic, Language and Computation, University of Amsterdam","year":"2006","author":"Bezhanishvili","key":"key\n\t\t\t\t20180924071203_C14"},{"volume-title":"The Logic of Provability","year":"1993","author":"Boolos","key":"key\n\t\t\t\t20180924071203_C15"},{"key":"key\n\t\t\t\t20180924071203_C16","first-page":"318","article-title":"On the positive fragment of the polymodal provability logic GLP","volume-title":"Mathematical Notes","author":"Dashkov","year":"2012"},{"key":"key\n\t\t\t\t20180924071203_C17","first-page":"16","article-title":"The polymodal logic of provability","volume-title":"Intensional Logics and Logical Structure of Theories: Material from the Fourth Soviet-Finnish Symposium on Logic, Telavi, May 20\u201324, 1985, Metsniereba, Tbilisi","author":"Dzhaparidze","year":"1988"},{"key":"key\n\t\t\t\t20180924071203_C18","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0168-0072(94)90063-9","article-title":"The logic of arithmetical hierarchy","volume":"66","author":"Dzhaparidze","year":"1994","journal-title":"Annals of Pure and Applied Logic"},{"article-title":"Three conceptual problems that bug me. Lecture text for 7-th Scandinavian Logic Symposium","year":"1996","author":"Feferman","key":"key\n\t\t\t\t20180924071203_C19"},{"article-title":"The omega-rule interpretation of transfinite provability logic","year":"2013","author":"Fern\u00e1ndez-Duque","key":"key\n\t\t\t\t20180924071203_C20"},{"key":"key\n\t\t\t\t20180924071203_C21","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2275337","article-title":"On strong provability predicates and the associated modal logics","volume":"58","author":"Ignatiev","year":"1993","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180924071203_C22","first-page":"177","article-title":"Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt","volume":"78","author":"Kreisel","year":"1977","journal-title":"Jahresbericht der DMV"},{"key":"key\n\t\t\t\t20180924071203_C23","first-page":"289","article-title":"PSPACE-decidability of Japaridze\u2019s polymodal logic","volume":"7","author":"Shapirovsky","year":"2008","journal-title":"Advances in Modal Logic"},{"key":"key\n\t\t\t\t20180924071203_C24","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","article-title":"Provability interpretations of modal logic","volume":"25","author":"Solovay","year":"1976","journal-title":"Israel Journal of Mathematics"},{"article-title":"Aspects of Diagonalization and Provability. PhD thesis, Utrecht University","year":"1981","author":"Visser","key":"key\n\t\t\t\t20180924071203_C25"},{"key":"key\n\t\t\t\t20180924071203_C26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00297579","article-title":"The provability logics of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic","volume":"13","author":"Visser","year":"1984","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180924071203_C27","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(01)00081-1","article-title":"Substitutions of $\\varSigma _1^0$-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic","volume":"114","author":"Visser","year":"2002","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/26\/5\/505\/25765526\/jzy012.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T02:01:30Z","timestamp":1571018490000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/26\/5\/505\/4992872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,4]]},"references-count":27,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2018,5,4]]},"published-print":{"date-parts":[[2018,9,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy012","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2018,10]]},"published":{"date-parts":[[2018,5,4]]}}}