乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:23:53Z","timestamp":1725902633307},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_4","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"48-67","source":"Crossref","is-referenced-by-count":8,"title":["On the Reflection Calculus with Partial Conservativity Operators"],"prefix":"10.1007","author":[{"given":"Lev D.","family":"Beklemishev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"4_CR1","unstructured":"Beklemishev, L.: A note on strictly positive logics and word rewriting systems. Preprint ArXiv:1509.00666 [math.LO] (2015)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"1173","DOI":"10.1070\/SM2015v206n09ABEH004493","volume":"206","author":"LD Beklemishev","year":"2015","unstructured":"Beklemishev, L.D., Onoprienko, A.A.: On some slowly terminating term rewriting systems. Sbornik: Math. 206, 1173\u20131190 (2015)","journal-title":"Sbornik: Math."},{"key":"4_CR3","unstructured":"Beklemishev, L.D.: Reflection calculus and conservativity spectra. ArXiv:1703.09314 [math.LO], March 2017"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s00153-002-0158-7","volume":"42","author":"LD Beklemishev","year":"2003","unstructured":"Beklemishev, L.D.: Proof-theoretic analysis by iterated reflection. Arch. Math. Logic 42, 515\u2013552 (2003). doi: 10.1007\/s00153-002-0158-7","journal-title":"Arch. Math. Logic"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","volume":"128","author":"LD Beklemishev","year":"2004","unstructured":"Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Logic 128, 103\u2013123 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"4_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","volume":"60","author":"LD Beklemishev","year":"2005","unstructured":"Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Russ. Math. Surv. 60(2), 197\u2013268 (2005). Russian original. Uspekhi Matematicheskikh Nauk 60(2), 3\u201378 (2005)","journal-title":"Russ. Math. Surv."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D.: The Worm principle. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Lecture Notes in Logic 27. Logic Colloquium 2002, pp. 75\u201395. AK Peters (2006). Preprint: Logic Group Preprint Series 219, Utrecht University, March 2003","DOI":"10.1017\/9781316755723.005"},{"key":"4_CR8","first-page":"89","volume-title":"Advances in Modal Logic","author":"LD Beklemishev","year":"2012","unstructured":"Beklemishev, L.D.: Calibrating provability logic: from modal logic to reflection calculus. In: Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 89\u201394. College Publications, London (2012)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.apal.2013.07.006","volume":"165","author":"LD Beklemishev","year":"2014","unstructured":"Beklemishev, L.D.: Positive provability logic for uniform reflection principles. Ann. Pure Appl. Logic 165(1), 82\u2013105 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"4_CR10","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1134\/S106456241701015X","volume":"95","author":"LD Beklemishev","year":"2017","unstructured":"Beklemishev, L.D.: On the reduction property for GLP-algebras. Doklady: Math. 95(1), 50\u201354 (2017)","journal-title":"Doklady: Math."},{"issue":"4","key":"4_CR11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1093\/logcom\/exi038","volume":"15","author":"LD Beklemishev","year":"2005","unstructured":"Beklemishev, L.D., Joosten, J., Vervoort, M.: A finitary treatment of the closed fragment of Japaridze\u2019s provability logic. J. Logic Comput. 15(4), 447\u2013463 (2005)","journal-title":"J. Logic Comput."},{"key":"4_CR12","volume-title":"The Logic of Provability","author":"G Boolos","year":"1993","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"issue":"3","key":"4_CR13","doi-asserted-by":"crossref","first-page":"331","DOI":"10.4213\/mzm9138","volume":"91","author":"EV Dashkov","year":"2012","unstructured":"Dashkov, E.V.: On the positive fragment of the polymodal provability logic GLP. Matematicheskie Zametki 91(3), 331\u2013346 (2012). English translation. Math. Notes 91(3), 318\u2013333 (2012)","journal-title":"Matematicheskie Zametki"},{"key":"4_CR14","series-title":"Studies in Logic and the Foundations of Mathematics","first-page":"475","volume-title":"Handbook of Proof Theory","author":"D Jongh de","year":"1998","unstructured":"de Jongh, D., Japaridze, G.: The Logic of Provability. In: Buss, S.R. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 475\u2013546. Elsevier, Amsterdam (1998)"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S.: Arithmetization of metamathematics in a general setting. Fundamenta Math. 49, 35\u201392 (1960)","journal-title":"Fundamenta Math."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/jzp082","volume":"19","author":"E Goris","year":"2011","unstructured":"Goris, E., Joosten, J.J.: A new principle in the interpretability logic of all reasonable arithmetical theories. Logic J. IGPL 19(1), 1\u201317 (2011)","journal-title":"Logic J. IGPL"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2275337","volume":"58","author":"KN Ignatiev","year":"1993","unstructured":"Ignatiev, K.N.: On strong provability predicates and the associated modal logics. J. Symbolic Logic 58, 249\u2013290 (1993)","journal-title":"J. Symbolic Logic"},{"key":"4_CR18","unstructured":"Japaridze, G.K.: The modal logical means of investigation of provability. Thesis in Philosophy, in Russian, Moscow (1986)"},{"key":"4_CR19","unstructured":"Joosten, J., Reyes, E.H.: Turing Schmerl logic for graded Turing progressions. ArXiv:1604.08705v1 [math.LO] (2016)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1007\/s11225-016-9674-z","volume":"104","author":"JJ Joosten","year":"2015","unstructured":"Joosten, J.J.: Turing-Taylor expansions of arithmetical theories. Stud. Log. 104, 1225\u20131243 (2015). doi: 10.1007\/s11225-016-9674-z","journal-title":"Stud. Log."},{"key":"4_CR21","unstructured":"Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: On the completeness of EL-equiations: first results. In: 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August\u20132 September 2016), pp. 82\u201387 (2016)"},{"issue":"7","key":"4_CR22","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1007\/s00153-014-0397-4","volume":"53","author":"F Pakhomov","year":"2014","unstructured":"Pakhomov, F.: On the complexity of the closed fragment of Japaridze\u2019s provability logic. Arch. Math. Logic 53(7), 949\u2013967 (2014)","journal-title":"Arch. Math. Logic"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1134\/S0081543815040124","volume":"289","author":"F Pakhomov","year":"2015","unstructured":"Pakhomov, F.: On elementary theories of ordinal notation systems based on reflection principles. Proc. Steklov Inst. Math. 289, 194\u2013212 (2015)","journal-title":"Proc. Steklov Inst. Math."},{"issue":"5","key":"4_CR24","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1093\/jigpal\/jzv029","volume":"23","author":"D Shamkanov","year":"2015","unstructured":"Shamkanov, D.: Nested sequents for provability logic GLP. Logic J. IGPL 23(5), 789\u2013815 (2015)","journal-title":"Logic J. IGPL"},{"key":"4_CR25","unstructured":"Shapirovsky, I.: PSPACE-decidability of Japaridze\u2019s polymodal logic. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 289\u2013304. King\u2019s College Publications (2008)"},{"key":"4_CR26","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"AM Turing","year":"1939","unstructured":"Turing, A.M.: System of logics based on ordinals. Proc. Lond. Math. Soc. 45, 161\u2013228 (1939)","journal-title":"Proc. Lond. Math. Soc."},{"key":"4_CR27","unstructured":"Visser, A.: An overview of interpretability logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakhariaschev, M. (eds.) Advances in Modal Logic, CSLI Lecture Notes, vol. 1, no. 87, pp. 307\u2013359. CSLI Publications, Stanford (1998)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T05:16:27Z","timestamp":1569561387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}