{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:27Z","timestamp":1740123027104,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1007\/s11225-022-10001-w","type":"journal-article","created":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:02:31Z","timestamp":1654110151000},"page":"1327-1347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modal Companions of $$K4^{+}$$"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9381-764X","authenticated-orcid":false,"given":"Mikhail","family":"Svyatlovskiy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,1]]},"reference":[{"key":"10001_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in Proceedings of the 19th Joint International Conference on Artificial Intelligence (IJCAI 2005), 2005.","DOI":"10.25368\/2022.144"},{"key":"10001_CR2","doi-asserted-by":"publisher","DOI":"10.25368\/2022.144","volume-title":"Pushing the EL envelope, in LTCS-Report 05\u201301","author":"F Baader","year":"2005","unstructured":"Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in LTCS-Report 05-01, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005."},{"key":"10001_CR3","unstructured":"Baader, F., S. Brandt, and B. Suntisrivaraporn, Is tractable reasoning in extensions of the description logic EL useful in practice?, in Proceedings of the Methods for Modalities Workshop (M4M-05), Berlin, Germany, 2005."},{"key":"10001_CR4","doi-asserted-by":"publisher","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, Annals of Pure and Applied Logic 165: 82\u2013105, 2014.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10001_CR5","doi-asserted-by":"crossref","unstructured":"Beklemishev, L. D., A note on strictly positive logics and word rewriting systems, in S. Odintsov, (ed.), Larisa Maksimova on Implication, Interpolation, and Definability, vol. 15 of Outstanding Contributions to Logic, Springer, 2017, pp. 61\u201370 (preprint arXiv:1509.00666, 2015).","DOI":"10.1007\/978-3-319-69917-2_4"},{"key":"10001_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-662-55386-2_4","volume":"10388","author":"LD Beklemishev","year":"2017","unstructured":"Beklemishev, L. D., On the reflection calculus with partial conservativity operators, Lecture Notes in Computer Science 10388: 48\u201367, 2017.","journal-title":"Lecture Notes in Computer Science"},{"key":"10001_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-72056-2_6","volume-title":"Symposium on Logical Foundations of Computer Science 2018","author":"LD Beklemishev","year":"2018","unstructured":"Beklemishev, L. D., A universal algebra for the variable-free fragment of $$\\rm RC^\\nabla $$, in S. Artemov, and A. Nerode, (eds.), Symposium on Logical Foundations of Computer Science 2018, Lecture Notes in Computer Science, Springer, 2018, pp. 91\u2013106."},{"key":"10001_CR8","unstructured":"Blok, W. J., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976."},{"key":"10001_CR9","doi-asserted-by":"crossref","unstructured":"Boolos, G., The Logic of Provability, Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511625183"},{"key":"10001_CR10","volume-title":"and M","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997."},{"issue":"3","key":"10001_CR11","first-page":"318","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":"English translation: Mathematical Notes"},{"key":"10001_CR12","unstructured":"Esakia, L. L., On modal companions of superintuitionistic logics, in VII Soviet Symposium on Logic, Kiev, 1976 (in Russian)."},{"key":"10001_CR13","doi-asserted-by":"publisher","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":"10001_CR14","unstructured":"Kaniskin, S., On positive fragments of modal logics, Diploma thesis, Moscow State University, 2013."},{"key":"10001_CR15","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/jsl.2019.22","volume":"84","author":"S Kikot","year":"2019","unstructured":"Kikot, S., A. Kurucz, Y. Tanaka, F. Wolter, and M. Zakharyaschev, Kripke completeness of strictly positive modal logics over meet-semilattices with operators, Journal of Symbolic Logic 84: 533\u2013588, 2019.","journal-title":"Journal of Symbolic Logic"},{"key":"10001_CR16","unstructured":"Kikot, S., A. Kurucz, F. Wolter, and M. Zakharyaschev, On strictly positive modal logics with S4.3 frames, in G. Bezhanishvili, G. D\u2019Agostino, G. Metcalfe, and T. Studer, (eds.), Advances in Modal Logic 12, College Publications, 2018, pp. 399\u2013418."},{"key":"10001_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0097-3165(72)90063-5","volume":"13","author":"JB Kruskal","year":"1972","unstructured":"Kruskal, J. B., The theory of well quasi-ordering: a frequently discovered concept, Journal of Combinatorial Theory, Series A 13: 297\u2013305, 1972.","journal-title":"Journal of Combinatorial Theory, Series A"},{"issue":"7","key":"10001_CR18","doi-asserted-by":"publisher","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 for Mathematical Logic 53(7): 949\u2013967, 2014.","journal-title":"Archive for Mathematical Logic"},{"key":"10001_CR19","unstructured":"Shapirovsky, I., PSPACE\u2013decidability of Japaridze\u2019s polymodal logic, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic 7, College Publications, 2008, pp. 289\u2013304."},{"key":"10001_CR20","unstructured":"Sofronie-Stokkermans, V., Locality and subsumption testing in EL and some of its extensions, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic 7, College Publications, 2008, p. 315\u2013339."},{"key":"10001_CR21","doi-asserted-by":"crossref","first-page":"884","DOI":"10.4213\/mzm11608","volume":"103","author":"M Svyatlovskiy","year":"2018","unstructured":"Svyatlovskiy, M., Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Matematicheskie Zametki 103: 884\u2013901, 2018.","journal-title":"Matematicheskie Zametki"},{"key":"10001_CR22","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1134\/S0001434618050322","volume":"103","author":"M Svyatlovskiy","year":"2018","unstructured":"Svyatlovskiy, M., Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Mathematical Notes 103: 952\u2013967, 2018.","journal-title":"Mathematical Notes"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10001-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10001-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10001-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T19:08:33Z","timestamp":1664392113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10001-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,1]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["10001"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10001-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,6,1]]},"assertion":[{"value":"16 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 June 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}