{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:59:04Z","timestamp":1771574344219,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T00:00:00Z","timestamp":1575676800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T00:00:00Z","timestamp":1575676800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"publisher","award":["16-11-10252"],"award-info":[{"award-number":["16-11-10252"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"crossref","award":["16-11-10252"],"award-info":[{"award-number":["16-11-10252"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s11225-019-09885-y","type":"journal-article","created":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T17:02:18Z","timestamp":1575738138000},"page":"989-1017","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On Modal Logics of Model-Theoretic Relations"],"prefix":"10.1007","volume":"108","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0519-2641","authenticated-orcid":false,"given":"Denis I.","family":"Saveliev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7434-5894","authenticated-orcid":false,"given":"Ilya B.","family":"Shapirovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,7]]},"reference":[{"key":"9885_CR1","unstructured":"Artemov, S.\u00a0N., and L.\u00a0D. Beklemishev, Provability logic, in Handbook of Philosophical Logic, 2nd edn., Kluwer, 2004, pp. 229\u2013403."},{"key":"9885_CR2","unstructured":"Barwise, J., and S. Feferman, Model-theoretic logics, Perspectives in mathematical logic, Springer-Verlag, 1985."},{"issue":"2","key":"9885_CR3","doi-asserted-by":"publisher","first-page":"881","DOI":"10.2307\/2586507","volume":"64","author":"J Barwise","year":"1999","unstructured":"Barwise, J., and J. van Benthem, Interpolation, preservation, and pebble games, Journal of Symbolic Logic 64(2): 881\u2013903, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"9885_CR4","doi-asserted-by":"crossref","unstructured":"Benerecetti, M., F. Mogavero, and A. Murano, Substructure temporal logic, in Proceedings of the 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS \u201913, IEEE Computer Society, Washington, DC, USA, 2013, pp. 368\u2013377.","DOI":"10.1109\/LICS.2013.43"},{"issue":"3","key":"9885_CR5","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.2307\/2274474","volume":"55","author":"A Berarducci","year":"1990","unstructured":"Berarducci, A., The interpretability logic of Peano arithmetic, Journal of Symbolic Logic 55(3): 1059\u20131089, 1990.","journal-title":"Journal of Symbolic Logic"},{"key":"9885_CR6","unstructured":"Blackburn, P., M. de\u00a0Rijke, and Y. Venema, Modal Logic, vol.\u00a053 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2002."},{"key":"9885_CR7","first-page":"2015","volume":"5\u201323","author":"AC Block","year":"1949","unstructured":"Block, A. C., and B. L\u00f6we, Modal logics and multiverses, RIMS Kokyuroku 1949: 5\u201323, 2015.","journal-title":"RIMS Kokyuroku"},{"issue":"2","key":"9885_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1093635417","volume":"1","author":"SR Buss","year":"1990","unstructured":"Buss, S. R., The modal logic of pure provability, Notre Dame Journal of Formal Logic 1(2): 225\u2013231, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9885_CR9","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, vol.\u00a035 of Oxford Logic Guides, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9885_CR10","unstructured":"Chang, C. C., and H. J. Keisler, Model Theory, Studies in Logic and the Foundations of Mathematics, 3rd edn., Elsevier Science, 1990."},{"key":"9885_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019agostino, G., and M. Hollenberg, Logical questions concerning the $$\\mu $$-calculus: Interpolation, Lyndon and \u0141o\u015b\u2013Tarski, Journal of Symbolic Logic 65(1): 310\u2013332, 2000.","DOI":"10.2307\/2586539"},{"key":"9885_CR12","doi-asserted-by":"crossref","unstructured":"Fine, B., A. Gaglione, A. Myasnikov, G. Rosenberger, and D. Spellman, The Elementary Theory of Groups, digital original edn., Expositions in Mathematics, De Gruyter, 2014.","DOI":"10.1515\/9783110342031"},{"key":"9885_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00370321","volume":"39","author":"R Goldblatt","year":"1980","unstructured":"Goldblatt, R., Diodorean modality in Minkowski spacetime, Studia Logica 39: 219\u2013236, 1980.","journal-title":"Studia Logica"},{"key":"9885_CR14","unstructured":"Goldblatt, R., Logics of Time and Computation, 2 edn., no.\u00a07 in CSLI Lecture Notes, Center for the Study of Language and Information, 1992."},{"issue":"2","key":"9885_CR15","doi-asserted-by":"publisher","first-page":"527","DOI":"10.2178\/jsl\/1052669062","volume":"68","author":"JD Hamkins","year":"2003","unstructured":"Hamkins, J. D., A simple maximality principle, Journal of Symbolic Logic 68(2): 527\u2013550, 2003.","journal-title":"Journal of Symbolic Logic"},{"key":"9885_CR16","doi-asserted-by":"crossref","unstructured":"Hamkins, J.\u00a0D., The modal logic of arithmetic potentialism and the universal algorithm, ArXiv e-prints 2018, 1\u201335. arXiv:1801.04599.","DOI":"10.1017\/S1755020318000242"},{"key":"9885_CR17","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/s11856-015-1185-5","volume":"207","author":"JD Hamkins","year":"2015","unstructured":"Hamkins, J. D., G. Leibman, and B. L\u00f6we, Structural connections between a forcing class and its modal logic, Israel Journal of Mathematics 207: 617\u2013651, 2015.","journal-title":"Israel Journal of Mathematics"},{"issue":"4","key":"9885_CR18","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1090\/S0002-9947-07-04297-3","volume":"360","author":"JD Hamkins","year":"2007","unstructured":"Hamkins, J. D., and B. L\u00f6we, The modal logic of forcing, Transactions of the American Mathematical Society 360(4): 1793\u20131817, 2007.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9885_CR19","doi-asserted-by":"crossref","unstructured":"Henk, P., Kripke models built from models of arithmetic, in M. Aher, D. Hole, E. Je\u0159\u00e1bek, and C. Kupke (eds.), Logic, Language, and Computation, Springer, Berlin Heidelberg, 2015, pp. 157\u2013174.","DOI":"10.1007\/978-3-662-46906-4_10"},{"issue":"1","key":"9885_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(93)90212-V","volume":"64","author":"KN Ignatiev","year":"1993","unstructured":"Ignatiev, K. N., The provability logic for $${\\Sigma }_{1}$$-interpolability, Annals of Pure and Applied Logic 64(1): 1\u201325, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"9885_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1017\/jsl.2015.67","volume":"81","author":"T Inamdar","year":"2016","unstructured":"Inamdar, T., and B. L\u00f6we, The modal logic of inner models, Journal of Symbolic Logic 81(1): 225\u2013236, 2016.","journal-title":"Journal of Symbolic Logic"},{"key":"9885_CR22","volume-title":"Algebraic Systems, Die Grundlehren der mathematischen Wissenschaften 192","author":"AI Mal\u2019cev","year":"1973","unstructured":"Mal\u2019cev, A.\u00a0I., Algebraic Systems, Die Grundlehren der mathematischen Wissenschaften 192, Springer-Verlag, Berlin Heidelberg, 1973."},{"key":"9885_CR23","volume-title":"Model Theory: An Introduction","author":"D Marker","year":"2002","unstructured":"Marker, D., Model Theory: An Introduction, Graduate Texts in Mathematics, Springer, New York, 2002."},{"key":"9885_CR24","unstructured":"Rosenstein, J. G., Linear Orderings, Academic Press, 1982."},{"key":"9885_CR25","doi-asserted-by":"crossref","unstructured":"Saveliev, D.\u00a0I., On first-order expressibility of satisfiability in submodels, in R.\u00a0Iemhoff et al.\u00a0(eds.), WoLLIC\u00a02019, Lecture Notes in Computer Science 11541, 2019, pp. 584\u2013593.","DOI":"10.1007\/978-3-662-59533-6_35"},{"key":"9885_CR26","unstructured":"Saveliev, D. I., and I.\u00a0B. Shapirovsky, On modal logic of submodels, in 11th Advances in Modal Logic, Short Papers, 2016, pp. 115\u2013119."},{"key":"9885_CR27","unstructured":"Shavrukov, V. Yu., The logic of relative interpretability over Peano arithmetic, Tech. Rep.\u00a04, Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, 1988. In Russian."},{"key":"9885_CR28","unstructured":"Shavrukov, V. Yu., Subalgebras of diagonalizable algebras of theories containing arithmetic, Instytut Matematyczny Polskiej Akademii Nauk, 1993."},{"issue":"1","key":"9885_CR29","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF01418760","volume":"42","author":"VB Shehtman","year":"1983","unstructured":"Shehtman, V. B., Modal logics of domains on the real plane, Studia Logica 42(1): 63\u201380, 1983.","journal-title":"Studia Logica"},{"issue":"3","key":"9885_CR30","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF00370370","volume":"49","author":"VB Shehtman","year":"1990","unstructured":"Shehtman, V. B., Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable, Studia Logica 49(3): 365\u2013385, 1990.","journal-title":"Studia Logica"},{"issue":"3","key":"9885_CR31","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"RM Solovay","year":"1976","unstructured":"Solovay, R. M., Provability interpretations of modal logic, Israel Journal of Mathematics 25(3): 287\u2013304, 1976.","journal-title":"Israel Journal of Mathematics"},{"key":"9885_CR32","unstructured":"van Benthem, J., Logical Dynamics of Information and Interaction, Cambridge University Press, New York, NY, USA, 2014."},{"issue":"3","key":"9885_CR33","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F Veltman","year":"1996","unstructured":"Veltman, F., Defaults in update semantics, Journal of Philosophical Logic 25(3): 221\u2013261, 1996.","journal-title":"Journal of Philosophical Logic"},{"key":"9885_CR34","unstructured":"Visser, A., An overview of interpretability logic, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (eds.), Advances in Modal Logic 1, CSLI Publications, 1996, pp. 307\u2013359."},{"key":"9885_CR35","unstructured":"Visser, A., The interpretability of inconsistency: Feferman\u2019s theorem and related results, Logic Group preprint series 318, 2014."},{"key":"9885_CR36","unstructured":"Westerst\u00e5hl, D., Quantifiers in formal and natural languages, in Handbook of Philosophical Logic, 2nd edn., vol. 14, Springer, 2007, pp. 234\u2013339."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09885-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09885-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09885-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,28]],"date-time":"2024-07-28T08:08:28Z","timestamp":1722154108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09885-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,7]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["9885"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09885-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12,7]]},"assertion":[{"value":"23 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}