{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:29:51Z","timestamp":1740122991019,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP19K14586"],"award-info":[{"award-number":["JP19K14586"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09957-y","type":"journal-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:06:24Z","timestamp":1626365184000},"page":"165-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Inclusions Between Quantified Provability Logics"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2016-5980","authenticated-orcid":false,"given":"Taishi","family":"Kurahashi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"issue":"6","key":"9957_CR1","first-page":"1289","volume":"290","author":"Sergei N Artemov","year":"1986","unstructured":"Artemov, S. N., Numerically correct logics of provability (in Russian), Doklady Akademii Nauk SSSR 290(6):1289\u20131292, 1986.","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"A","key":"9957_CR2","first-page":"177","volume":"3","author":"Alessandro Berarducci","year":"1989","unstructured":"Berarducci, A., $$\\Sigma ^0_n$$-interpretations of modal logic, Bollettino dell\u2019Unione Matematica Italiana, Serie 7, 3(A):177\u2013184, 1989.","journal-title":"Bollettino dell\u2019Unione Matematica Italiana, Serie 7"},{"key":"9957_CR3","volume-title":"The unprovability of consistency","author":"George Boolos","year":"1979","unstructured":"Boolos, G., The unprovability of consistency. An essay in modal logic, Cambridge University Press, Cambridge, 1979."},{"key":"9957_CR4","volume-title":"The Logic of Provability","author":"George Boolos","year":"1993","unstructured":"Boolos. G., The Logic of Provability. Cambridge University Press, Cambridge, 1993."},{"key":"9957_CR5","unstructured":"de Jonge, M., Vardanyan\u2019s theorem for extensions of $$\\mathbf{I}{\\varvec {\\Sigma }}_{{\\bf 1}}$$. Logic Group Preprint Series 241, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, https:\/\/dspace.library.uu.nl\/handle\/1874\/26753, 2005."},{"key":"9957_CR6","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., and P. Pudl\u00e1k., Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"9957_CR7","doi-asserted-by":"crossref","unstructured":"Kaye, R., Models of Peano arithmetic, vol. 15 of Oxford Logic Guides, Oxford Science Publications, New York, 1991.","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"issue":"1","key":"9957_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1755020312000275","volume":"6","author":"Taishi Kurahashi","year":"2013","unstructured":"Kurahashi, T., Arithmetical interpretations and Kripke frames of predicate modal logic of provability, The Review of Symbolic Logic 6(1):129\u2013146, 2013.","journal-title":"The Review of Symbolic Logic"},{"issue":"7\u20138","key":"9957_CR9","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1007\/s00153-013-0349-4","volume":"52","author":"Taishi Kurahashi","year":"2013","unstructured":"Kurahashi, T., On predicate provability logics and binumerations of fragments of Peano arithmetic, Archive for Mathematical Logic 52(7-8):871\u2013880, 2013.","journal-title":"Archive for Mathematical Logic"},{"key":"9957_CR10","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, P., On faithful interpretability, in E. B\u00f6rger, W. Oberschelp, M. M. Richter, B. Schinzel, and W. Thomas, (eds.), Computation and Proof Theory, vol. 1104 of Lecture Notes in Mathematics, Springer, 1984, pp. 279\u2013288.","DOI":"10.1007\/BFb0099490"},{"key":"9957_CR11","unstructured":"Lindstr\u00f6m, P., Aspects of Incompleteness, Lecture Notes in Logic 10, 2nd edn., A K Peters, 2003."},{"issue":"2","key":"9957_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1305\/ndjfl\/1093870577","volume":"25","author":"Franco Montagna","year":"1984","unstructured":"Montagna, F., The predicate modal logic of provability, Notre Dame Journal of Formal Logic, 25(2):179\u2013189, 1984.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3\u20134","key":"9957_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"Robert M Solovay","year":"1976","unstructured":"Solovay, R. M., Provability interpretations of modal logic, Israel Journal of Mathematics, 25(3-4):287\u2013304, 1976.","journal-title":"Israel Journal of Mathematics"},{"issue":"1","key":"9957_CR14","first-page":"11","volume":"288","author":"VA Vardanyan","year":"1986","unstructured":"Vardanyan, V. A., Arithmetic complexity of provability predicate logics and their fragments (in Russian), Doklady Akademii Nauk SSSR 288(1):11\u201314, 1986.","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"2","key":"9957_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"Albert Visser","year":"1984","unstructured":"Visser, A., The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic, Journal of Philosophical Logic, 13(2):181\u2013212, 1984.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9957_CR16","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/s00153-006-0328-0","volume":"45","author":"Albert Visser","year":"2006","unstructured":"Visser, A., and M. de Jonge, No escape from Vardanyan\u2019s theorem, Archive for Mathematical Logic, 45(5):539\u2013554, 2006.","journal-title":"Archive for Mathematical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09957-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09957-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09957-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T03:17:49Z","timestamp":1699240669000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09957-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,15]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9957"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09957-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,7,15]]},"assertion":[{"value":"9 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}