{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:51:12Z","timestamp":1774626672580,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319720555","type":"print"},{"value":"9783319720562","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_6","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:33:31Z","timestamp":1511757211000},"page":"91-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Universal Algebra for the Variable-Free Fragment of $${\\mathrm {RC}^\\nabla }$$ RC \u2207"],"prefix":"10.1007","author":[{"given":"Lev D.","family":"Beklemishev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"6_CR1","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":"6_CR2","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. Ann. Pure Appl. Logic 128, 103\u2013123 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"6_CR3","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":"6_CR4","doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D.: The Worm principle. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002. Lecture Notes in Logic, vol. 27, pp. 75\u201395. AK Peters (2006). Preprint: Logic Group Preprint Series 219, Utrecht University, March 2003","DOI":"10.1017\/9781316755723.005"},{"key":"6_CR5","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)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-662-55386-2_4","volume-title":"Logic, Language, Information, and Computation","author":"LD Beklemishev","year":"2017","unstructured":"Beklemishev, L.D.: On the reflection calculus with partial conservativity operators. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 48\u201367. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55386-2_4"},{"issue":"4","key":"6_CR7","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":"6_CR8","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":"6_CR9","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: Mathematical Notes 91(3):318\u2013333, 2012","journal-title":"Matematicheskie Zametki"},{"issue":"2","key":"6_CR10","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.: Models of transfinite provability logic. J. Symbol. Logic 78(2), 543\u2013561 (2013)","journal-title":"J. Symbol. Logic"},{"key":"6_CR11","unstructured":"Reyes, E.H., Joosten, J.J.: The logic of Turing progressions. arXiv:1604.08705v2 [math.LO] (2016)"},{"key":"6_CR12","unstructured":"Reyes, E.H., Joosten, J.J.: Relational semantics for the Turing Schmerl calculus. arXiv:1709.04715 [math.LO] (2017)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1093\/logcom\/exp043","volume":"21","author":"TF Icard III","year":"2011","unstructured":"Icard III, T.F.: A topological study of the closed fragment of GLP. J. Logic Comput. 21(4), 683\u2013696 (2011)","journal-title":"J. Logic Comput."},{"key":"6_CR14","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. Symbol. Logic 58, 249\u2013290 (1993)","journal-title":"J. Symbol. Logic"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-004-1871-3","volume":"52","author":"M Jackson","year":"2004","unstructured":"Jackson, M.: Semilattices with closure. Algebra Universalis 52, 1\u201337 (2004)","journal-title":"Algebra Universalis"},{"key":"6_CR16","unstructured":"Japaridze, G.K.: The modal logical means of investigation of provability. Thesis in Philosophy, in Russian, Moscow (1986)"},{"key":"6_CR17","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\u2013Taylor expansions of arithmetical theories. Studia Logica 104, 1225\u20131243 (2015). https:\/\/doi.org\/10.1007\/s11225-016-9674-z","journal-title":"Studia Logica"},{"key":"6_CR18","unstructured":"Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: On the completeness of EL-equations: first results. In: 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August \u2013 2 September, 2016), pp. 82\u201387 (2016)"},{"key":"6_CR19","unstructured":"Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: Kripke Completeness of strictly positive modal logics over meet-semilattices with operators. ArXiv e-prints, August 2017"},{"key":"6_CR20","unstructured":"Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: Conservativity of Boolean algebras with operators over semi lattices with operators. In: Proceedings of TACL 2011, pp. 49\u201352 (2011)"},{"issue":"7","key":"6_CR21","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. Archive Math. Logic 53(7), 949\u2013967 (2014)","journal-title":"Archive Math. Logic"},{"key":"6_CR22","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":"6_CR23","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":"6_CR24","first-page":"315","volume-title":"Advances in Modal Logic","author":"V Sofronie-Stokkermans","year":"2008","unstructured":"Sofronie-Stokkermans, V.: Locality and subsumption testing in EL and some of its extensions. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 315\u2013339. College Publications, London (2008)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T17:30:17Z","timestamp":1570383017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}