{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T16:42:53Z","timestamp":1784306573483,"version":"3.55.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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]]},"DOI":"10.1007\/bf00370682","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T16:55:22Z","timestamp":1099500922000},"page":"457-471","source":"Crossref","is-referenced-by-count":39,"title":["Amalgamation and interpolation in normal modal logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Larisa","family":"Maksimova","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/BF02485230","volume":"5","author":"P.D. Bacsich","year":"1975","unstructured":"P.D. Bacsich, Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis 5, 1 (1975), pp. 44?55.","journal-title":"Algebra Universalis"},{"issue":"2\/3","key":"CR2","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF00370315","volume":"30","author":"W. J. Blok","year":"1980","unstructured":"W. J. Blok, Pretabular varieties of modal algebras, Studia Logica 30, 2\/3 (1980), pp. 101?124.","journal-title":"Studia Logica"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1111\/j.1755-2567.1980.tb00686.x","volume":"45","author":"G. Boolos","year":"1980","unstructured":"G. Boolos, On systems of modal logic with provability interpretations, Theoria 45, 1 (1980), pp. 7?18.","journal-title":"Theoria"},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00403332","volume":"41","author":"J. Czelakowski","year":"1982","unstructured":"J. Czelakowski, Logical matrices and the amalgamation property, Studia Logica 41, 4 (1982), pp. 329?341.","journal-title":"Studia Logica"},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273727","volume":"44","author":"K. Fine","year":"1979","unstructured":"K. Fine, Failures of the interpolation lemma in quantified modal logic, Journal of Symbolic Logic 44, 2 (1979), pp. 201?206.","journal-title":"Journal of Symbolic Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BFb0059541","volume-title":"Conference in Mathematical Logic ? London '70","author":"D. Gabbay","year":"1972","unstructured":"D. Gabbay, Craig's interpolation theorem for modal logics, in Conference in Mathematical Logic ? London '70 (1972), pp. 111?127, Springer, Berlin."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","volume":"44","author":"R. Goldblatt","year":"1978","unstructured":"R. Goldblatt, Arithmetical necessity, provability and intuitionistic logic, Theoria 44 (1978), pp. 38?46.","journal-title":"Theoria"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"S. Kripke, Semantical analysis of modal logic I. Normal modal propositional calculi, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 9 (1963), pp. 67?96.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR9","first-page":"193","volume-title":"Aktualnye problemy logiki i metodologii nauki","author":"A. V. Kuznetsov","year":"1980","unstructured":"A. V. Kuznetsov and A. Y. Muravitski, Provability as modality, (in Russian), in Aktualnye problemy logiki i metodologii nauki (1980), pp. 193?229, Naukova dumka, Kyev."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"E. Lemmon","year":"1966","unstructured":"E. Lemmon, Algebraic semantics for modal logics. I, Journal of Symbolic Logic 31 (1966), pp. 46?65. II, Journal of Symbolic Logic, 31 (1966), pp. 191?218","journal-title":"Journal of Symbolic Logic"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/malq.19660120131","volume":"12","author":"D. Makinson","year":"1966","unstructured":"D. Makinson, On some completeness theorems in modal logic, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 12 (1966), pp. 379?384.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/BF01674424","volume":"18","author":"L. L. Maksimova","year":"1979","unstructured":"L. L. Maksimova, On a classification of modal logics, (in Russian), Algebra i logika 18, 3 (1979), pp. 328?340.","journal-title":"Algebra i logika"},{"issue":"5","key":"CR13","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1007\/BF01673502","volume":"18","author":"L. L. Maksimova","year":"1979","unstructured":"L. L. Maksimova, Interpolation theorems in modal logics and amalgamated varieties of topoboolean algebras, (in Russian), Algebra i logika 18, 5 (1979), pp. 556?586.","journal-title":"Algebra i logika"},{"issue":"2","key":"CR14","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/BF01669837","volume":"19","author":"L. L. Maksimova","year":"1980","unstructured":"L. L. Maksimova, Interpolation theorems in modal logics. Sufficient conditions, (in Russian), Algebra i logika 19, 2 (1980), pp. 194?213.","journal-title":"Algebra i logika"},{"issue":"6","key":"CR15","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1007\/BF01982206","volume":"21","author":"L. L. Maksimova","year":"1982","unstructured":"L. L. Maksimova, Failure of interpolation property in modal counterparts of Dummett's logic, (in Russian), Algebra i logika 21, 6 (1982), pp. 690?694.","journal-title":"Algebra i logika"},{"key":"CR16","first-page":"84","volume-title":"Matematicheskaya logika i teoria algoritmov","author":"L. L. Maksimova","year":"1982","unstructured":"L. L. Maksimova, Lyndon's interpolation theorem in modal logics, in Matematicheskaya logika i teoria algoritmov (1982), pp. 84?87, Nauka (Siberian Division), Novosibirsk."},{"key":"CR17","first-page":"70","volume-title":"Intensional Logics: Theory and Applications","author":"L. L. Maksimova","year":"1982","unstructured":"L. L. Maksimova, Interpolation properties of superintuitionistic, positive and modal logics, in Intensional Logics: Theory and Applications (V. 35, 1982), pp. 70?78, Acta Philosophica Fennica, Helsinki."},{"key":"CR18","unstructured":"L. L. Maksimova, On interpolation in modal logics containing S4, 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Abstracts 1, pp. 84?87."},{"key":"CR19","unstructured":"L. L. Maksimova, On the number of amalgamated varieties of topoboolean algebras, (in Russian), 17 Vsesoyuznaya algebraicheskaya konferencya, tezytsy, part 2, Minsk, 1983, pp. 135?136."},{"key":"CR20","first-page":"40","volume-title":"Neklassicheskie logiki","author":"L. L. Maksimova","year":"1987","unstructured":"L. L. Maksimova, On interpolation in normal modal logics, (in Russian), in Neklassicheskie logiki (1987), pp. 40?56, Stiinca, Kishinev."},{"key":"CR21","volume-title":"Matematicheskaya logika i algorithmicheskie problemy","author":"L. L. Maksimova","year":"1989","unstructured":"L. L. Maksimova, Interpolation in modal logics of infinite slice containing K4, (in Russian), in Matematicheskaya logika i algorithmicheskie problemy (1989), Nauka (Siberian Division), Novosibirsk."},{"issue":"5","key":"CR22","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1007\/BF01982275","volume":"27","author":"L. L. Maksimova","year":"1988","unstructured":"L. L. Maksimova, Interpolation in infinite-slice extensions of the provability logic, (in Russian), Algebra i logika 27, 5 (1988), pp. 581?604.","journal-title":"Algebra i logika"},{"key":"CR23","first-page":"113","volume-title":"Logika, semantika, metodologia","author":"V. Y. Meschi","year":"1978","unstructured":"V. Y. Meschi, Algebraic analysis of modal fragments of tense logics, (in Russian), in Logika, semantika, metodologia (1978), pp. 113?124, Metsniereba, Tbilissi."},{"key":"CR24","first-page":"269","volume":"1\/3","author":"D. Pigozzi","year":"1972","unstructured":"D. Pigozzi, Amalgamation, congruence extension and interpolation properties in algebras, Algebra Universalis 1\/3 (1972), pp. 269?349.","journal-title":"Algebra Universalis"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00249258","volume":"12","author":"W. Rautenberg","year":"1983","unstructured":"W. Rautenberg, Modal tableau calculi and interpolation, Journal of Philosophical Logic 12 (1983), pp. 403?423.","journal-title":"Journal of Philosophical Logic"},{"key":"CR26","first-page":"107","volume":"6","author":"G. Schumm","year":"1976","unstructured":"G. Schumm, Interpolation in S5 and related systems, Reports on Mathematical Logic 6 (1976), pp. 107?110.","journal-title":"Reports on Mathematical Logic"},{"key":"CR27","unstructured":"K. Segerberg, An Essay in Classical Modal Logic (1971), Uppsala."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"C. Smorynski, Beth's theorem and self-referential sentences, in Logic Colloquium '77 (pp. 253?261), North-Holland, Amsterdam.","DOI":"10.1016\/S0049-237X(08)72008-1"},{"issue":"3","key":"CR29","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2307\/2272167","volume":"40","author":"S. K. Thomason","year":"1975","unstructured":"S. K. Thomason, Categories of frames for modal logic, Journal of Symbolic Logic 40, 3 (1975), pp. 439?442.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370682.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370682\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:59:55Z","timestamp":1585940395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":29,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370682"],"URL":"https:\/\/doi.org\/10.1007\/bf00370682","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}