{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:03:47Z","timestamp":1775462627216,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"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":[[1991,3]]},"DOI":"10.1007\/bf00370390","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:35Z","timestamp":1099439375000},"page":"107-128","source":"Crossref","is-referenced-by-count":11,"title":["Provability logics for natural turing progressions of arithmetical theories"],"prefix":"10.1007","volume":"50","author":[{"given":"L. D.","family":"Beklemishev","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/BF02764872","volume":"54","author":"T. Carlson","year":"1986","unstructured":"T. Carlson, Modal logics with several operators and provability interpretations, Israel Journal of Mathematics 54 (1986), pp. 14?24.","journal-title":"Israel Journal of Mathematics"},{"issue":"No. 3","key":"CR2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","volume":"27","author":"S. Feferman","year":"1962","unstructured":"S. Feferman, Transfinite recursive progressions of axiomatic theories, Journal of Symbolic Logic 27 (1962), No. 3, pp. 259?316.","journal-title":"Journal of Symbolic Logic"},{"key":"CR3","first-page":"111","volume":"78","author":"G. Kreisel","year":"1977","unstructured":"G. Kreisel, Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt, Jahresbericht der Deutschen Mathematiker-Vereinigung 78 (1977), Heft 4, pp. 111?223.","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"issue":"No. 2","key":"CR4","doi-asserted-by":"crossref","first-page":"494","DOI":"10.2307\/2274396","volume":"52","author":"F. Montagna","year":"1987","unstructured":"F. Montagna, Provability in finite subtheories of PA, Journal of Symbolic Logic 52 (1987), No. 2, pp. 494?511.","journal-title":"Journal of Symbolic Logic"},{"key":"CR5","unstructured":"K. Sch\ufffdtte, Beweistheorie, Springer, 1960."},{"key":"CR6","unstructured":"C. Smory?ski, Modal Logic and Selfreference, Springer, 1985."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1305\/ndjfl\/1093637556","volume":"28","author":"C. Smory?ski","year":"1987","unstructured":"C. Smory?ski, Quantified modal logic and selfreference, Notre Dame Journal of Formal Logic 28 (1987), pp. 356?370.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"R. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287?304.","journal-title":"Israel Journal of Mathematics"},{"key":"CR9","unstructured":"A. Visser, A Course in Bimodal Provability Logic, Logic Group Preprint Series 20 (1987), University of Utrecht."},{"key":"CR10","unstructured":"?. ?, ???\ufffd???, ?????????? ????????? ?????? ? ?????? ?????????????, In ?????????????? ?????? ? ?? ??????????, ??????? ???????????, ?. ?????, 1982, pp. 3?20."},{"key":"CR11","unstructured":"?. ?. ??????????, ? ????????????? ????????????????? ????? ????????????, ???????? ?? ????, cep. mat. 53 (1989), pp. 915?943."},{"key":"CR12","unstructured":"?. ?. ???????, ?? ?????????????????? ????????? ?????????? ??????????, ?????????????? ??????? 40 (1986), pp. 561?572."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"U. Schmerl, A fine structure generated by reflection formulas, In Logic Colloquium '78, M. Boffa, D. van Dalen, K. McAloon (eds.), North-Holland, 1979, pp. 335?350.","DOI":"10.1016\/S0049-237X(08)71633-1"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370390.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370390\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:27Z","timestamp":1585938207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370390"],"URL":"https:\/\/doi.org\/10.1007\/bf00370390","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}