{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:41Z","timestamp":1760202641058},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,26]],"date-time":"2013-07-26T00:00:00Z","timestamp":1374796800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11225-013-9490-7","type":"journal-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T15:55:15Z","timestamp":1374767715000},"page":"541-566","source":"Crossref","is-referenced-by-count":18,"title":["On Provability Logics with Linearly Ordered Modalities"],"prefix":"10.1007","volume":"102","author":[{"given":"Lev D.","family":"Beklemishev","sequence":"first","affiliation":[]},{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"additional","affiliation":[]},{"given":"Joost J.","family":"Joosten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,26]]},"reference":[{"key":"9490_CR1","unstructured":"Beklemishev, L., Positive provability logic for uniform reflection principles, ArXiv:1304.4396 [math.LO], 2013."},{"key":"9490_CR2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","volume":"128","author":"L.D. Beklemishev","year":"2004","unstructured":"Beklemishev L.D.: Provability algebras and proof-theoretic ordinals, I. Annals of Pure and Applied Logic 128, 103\u2013124 (2004)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9490_CR3","unstructured":"Beklemishev, L. D., Veblen hierarchy in the context of provability algebras, in P. H\u00e1jek, L. Vald\u00e9s-Villanueva, and D. Westerst\u00e5hl (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth International Congress, Kings College Publications, London, 2005, pp. 65\u201378."},{"key":"9490_CR4","doi-asserted-by":"crossref","unstructured":"Beklemishev, L. D., The Worm principle, in Z. Chatzidakis, P. Koepke, and W. Pohlers (eds.), Logic Colloquium 2002, Lecture Notes in Logic 27. ASL Publications, 2006, pp. 75\u201395.","DOI":"10.1017\/9781316755723.005"},{"issue":"6","key":"9490_CR5","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1016\/j.apal.2009.06.011","volume":"161","author":"L.D. Beklemishev","year":"2010","unstructured":"Beklemishev L.D.: Kripke semantics for provability logic GLP. Annals of Pure and Applied Logic 161(6), 737\u2013744 (2010)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9490_CR6","unstructured":"Beklemishev, L. D., On the Craig interpolation and the fixed point properties of GLP, in S. Feferman et\u00a0al. (eds.), Proofs, Categories and Computations. Essays in honor of G. Mints, Tributes, College Publications, London, 2010, pp. 49\u201360. Preprint: Logic Group Preprint Series 262, University of Utrecht, Dec 2007."},{"key":"9490_CR7","unstructured":"Beklemishev, L. D., A simplified proof of the arithmetical completeness theorem for the provability logic GLP, Trudy Matematicheskogo Instituta imeni V.A. Steklova 274(3):32\u201340, 2011. English translation: Proceedings of the Steklov Institute of Mathematics 274(3):25\u201333, 2011."},{"key":"9490_CR8","unstructured":"Beklemishev, L. D., and D. Gabelaia, Topological completeness of the provability logic GLP, ArXiv: 1106.5693v1 [math.LO], 2011, pp. 1\u201326. To appear in Annals of Pure and Applied Logic."},{"key":"9490_CR9","doi-asserted-by":"crossref","unstructured":"Beklemishev, L. D., and D. Gabelaia, Topological completeness of the provability logic GLP. Annals of Pure and Applied Logic, 2013, doi: 10.1016\/j.apal.2013.06.008","DOI":"10.1016\/j.apal.2013.06.008"},{"key":"9490_CR10","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1093\/logcom\/exi038","volume":"15","author":"L.D. Beklemishev","year":"2005","unstructured":"Beklemishev L.D., Joosten J.J., Vervoort M.: A finitary treatment of the closed fragment of Japaridze\u2019s provability logic. Journal of Logic and Computation 15, 447\u2013463 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"9490_CR11","volume-title":"The Logic of Provability","author":"G.S. Boolos","year":"1993","unstructured":"Boolos G.S.: The Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"key":"9490_CR12","first-page":"71","volume":"4","author":"A.V. Chagrov","year":"2003","unstructured":"Chagrov A.V., Rybakov M.N.: How many variables does one need to prove pspace-hardness of modal logics. Advances in Modal Logic 4, 71\u201382 (2003)","journal-title":"Advances in Modal Logic"},{"issue":"3-4","key":"9490_CR13","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1134\/S0001434612030029","volume":"91","author":"E.V. Dashkov","year":"2012","unstructured":"Dashkov E.V.: On the positive fragment of the polymodal provability logic GLP. Mathematical Notes 91(3-4), 318\u2013333 (2012)","journal-title":"Mathematical Notes"},{"key":"9490_CR14","doi-asserted-by":"crossref","first-page":"383","DOI":"10.2307\/2964544","volume":"27","author":"S. Feferman","year":"1962","unstructured":"Feferman S., Spector C.: Incompleteness along paths in progressions of theories. Journal of Symbolic Logic 27, 383\u2013390 (1962)","journal-title":"Journal of Symbolic Logic"},{"key":"9490_CR15","unstructured":"Fern\u00e1ndez-Duque, D., The polytopologies of transfinite provability logic, ArXiv1207.6595 [math.LO], 2012."},{"key":"9490_CR16","unstructured":"Fern\u00e1ndez-Duque, D., and J. J. Joosten, Kripke models of transfinite provability logic, in Advances in Modal Logic, vol. 9, College Publications, London, 2012, pp. 185\u2013199."},{"key":"9490_CR17","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Duque, D., and J. J. Joosten, Hyperations, Veblen progressions and transfinite iteration of ordinal functions, Annals of Pure and Applied Logic, 2013. Accepted for publication.","DOI":"10.1016\/j.apal.2013.01.002"},{"issue":"2","key":"9490_CR18","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2178\/jsl.7802110","volume":"78","author":"D. Fern\u00e1ndez-Duque","year":"2013","unstructured":"Fern\u00e1ndez-Duque D., Joosten J.J.: Models of transfinite provability logics. Journal of Symbolic Logic 78(2), 543\u2013561 (2013)","journal-title":"Journal of Symbolic Logic"},{"key":"9490_CR19","unstructured":"Fern\u00e1ndez-Duque, D., and J. J. Joosten, The omega-rule interpretation of transfinite provability logic, ArXiv1205.2036 [math.LO], 2013."},{"key":"9490_CR20","unstructured":"Fern\u00e1ndez-Duque, D., and J. J. Joosten, Well-orders in the transfinite Japaridze algebra, ArXiv1212.3468 [math.LO], 2013."},{"key":"9490_CR21","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Duque, D., and J. J. Joosten, Turing progressions and their well-orders, in How the world computes, Lecture Notes in Computer Science, Springer, Berlin, 2012, pp. 212\u2013221.","DOI":"10.1007\/978-3-642-30870-3_21"},{"key":"9490_CR22","unstructured":"Icard III, T. F., Models of the Polymodal Provability Logic, Master\u2019s thesis, ILLC, Universiteit van Amsterdam, 2008."},{"key":"9490_CR23","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1093\/logcom\/exp043","volume":"21","author":"T.F. Icard III","year":"2011","unstructured":"Icard III T.F.: A topological study of the closed fragment of GLP. Journal of Logic and Computation 21, 683\u2013696 (2011)","journal-title":"Journal of Logic and Computation"},{"key":"9490_CR24","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2275337","volume":"58","author":"K.N. Ignatiev","year":"1993","unstructured":"Ignatiev K.N.: On strong provability predicates and the associated modal logics. The Journal of Symbolic Logic 58, 249\u2013290 (1993)","journal-title":"The Journal of Symbolic Logic"},{"key":"9490_CR25","unstructured":"Japaridze, G. K., The modal logical means of investigation of provability, Ph.D. thesis, Moscow State University, 1986. In Russian."},{"key":"9490_CR26","unstructured":"Joosten, J. J., Interpretability Formalized, Ph.D. thesis, Utrecht University, 2004."},{"key":"9490_CR27","unstructured":"Pakhomov, F., On the complexity of the closed fragment of Japardize\u2019s provability logic, in T. Bolander, T. Bra\u00fcner, S. Ghilardi, and L. Moss (eds.), 9-th Advances in Modal Logic, AiML 2012, Short Presentations, 2012, pp. 56\u201359."},{"key":"9490_CR28","unstructured":"Shamkanov, D. S., Interpolation properties of provability logics GL and GLP, Trudy Matematicheskogo Instituta imeni V.A. Steklova 274(3):329\u2013342, 2011. English translation: Proceedings of the Steklov Institute of Mathematics 274(3):303\u2013316, 2011."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9490-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9490-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9490-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T12:09:58Z","timestamp":1563538198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9490-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,26]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9490"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9490-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,26]]}}}