{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:20Z","timestamp":1775053160528,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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":[[2006,6]]},"DOI":"10.1007\/s11225-006-8309-1","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T10:36:05Z","timestamp":1152786965000},"page":"365-391","source":"Crossref","is-referenced-by-count":6,"title":["Projective Beth Property in Extensions of Grzegorczyk Logic"],"prefix":"10.1007","volume":"83","author":[{"given":"Larisa","family":"Maksimova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8309_CR1","unstructured":"BARWISE, J., and S. FEFERMAN, (eds.), Model- Theoretic Logics, New York, Springer-Verlag, 1985."},{"key":"8309_CR2","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E. W. BETH","year":"1953","unstructured":"BETH E. W., \u2018On Padoa's method in the theory of definitions\u2019, Indagationes Math. 15 (1953), 330\u2013339.","journal-title":"Indagationes Math."},{"key":"8309_CR3","unstructured":"BLOK, W. J., Varieties of interior algebras, PhD Thesis, Amsterdam, 1976."},{"key":"8309_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1111\/j.1755-2567.1980.tb00686.x","volume":"46","author":"G. BOOLOS","year":"1980","unstructured":"BOOLOS, G., \u2018On systems of modal logic with provability interpretations\u2019, Theoria 46 (1980), 7\u201318.","journal-title":"Theoria"},{"key":"8309_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. CHAGROV","year":"1997","unstructured":"CHAGROV, A., and M. ZAKHARYASCHEV, Modal Logic, Oxford University Press, Oxford, 1997."},{"key":"8309_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W. CRAIG","year":"1957","unstructured":"CRAIG W., \u2018Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory\u2019, J. Symbolic Logic 22 (1957), 269\u2013285.","journal-title":"J. Symbolic Logic"},{"key":"8309_CR7","first-page":"187","volume-title":"Models. Algebras and Proofs. Selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota","author":"J. CZELAKOWSKI","year":"1999","unstructured":"CZELAKOWSKI, J., and D. PIGOZZI, \u2018Amalgamation and Interpolation in Abstract Algebraic Logic\u2019, in CAICEDO, X., and C. H. MONTENEGRO, (eds.), Models. Algebras and Proofs. Selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota, Marcel Dekker, New York, 1999, pp. 187\u2013265."},{"key":"8309_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001","volume-title":"Interpolation and Definability: Modal and In-tuitionistic Logics","author":"D.M. GABBAY","year":"2005","unstructured":"GABBAY, D.M., and L. MAKSIMOVA, Interpolation and Definability: Modal and In-tuitionistic Logics, Clarendon Press, Oxford, 2005."},{"key":"8309_CR9","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1023\/A:1024768003426","volume":"44","author":"E. M. GOLOVANOVA","year":"2003","unstructured":"GOLOVANOVA, E. M., \u2018A criterion of admissibility of inference rules for some class of S4-logics not possessing the branching property\u2019, Siberian Mathematical Journal 44 (2003), 726\u2013736.","journal-title":"Siberian Mathematical Journal"},{"key":"8309_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1005295109904","volume":"65","author":"E. HOOGLAND","year":"2000","unstructured":"HOOGLAND, E., \u2018Algebraic Characterisations of Various Beth Definability Properties\u2019, Studia Logica 65 (2000), 91\u2013112.","journal-title":"Studia Logica"},{"key":"8309_CR11","first-page":"293","volume":"14","author":"T. Hosoi","year":"1967","unstructured":"Hosoi, T., \u2018On intermediate logics I\u2019, J. Faculty of Science Univ. Tokyo. Sec. la 14 (1967), 293\u2013312.","journal-title":"J. Faculty of Science Univ. Tokyo. Sec. la"},{"key":"8309_CR12","first-page":"67","volume":"5","author":"T. Hosoi","year":"1973","unstructured":"Hosoi, T., and H. ONO. \u2018Intermediate Propositional Logics. A survey\u2019, J. Tsuda College 5 (1973), 67\u201382.","journal-title":"J. Tsuda College"},{"key":"8309_CR13","doi-asserted-by":"crossref","first-page":"389","DOI":"10.2307\/2964682","volume":"25","author":"G. KREISEL","year":"1960","unstructured":"KREISEL, G., \u2018Explicit definability in intuitionistic logic\u2019, J. Symbolic Logic 25 (1960), 389\u2013390.","journal-title":"J. Symbolic Logic"},{"key":"8309_CR14","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF01668576","volume":"14","author":"L.L. MAKSIMOVA","year":"1975","unstructured":"MAKSIMOVA, L.L., \u2018Pretabular extensions of Lewis' logic S4\u2019, Algebra and Logic 14 (1975), 28\u201355.","journal-title":"Algebra and Logic"},{"key":"8309_CR15","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/BF01668576","volume":"14","author":"L. L. MAKSIMOVA","year":"1975","unstructured":"MAKSIMOVA, L. L., \u2018Modal logics of finite slices\u2019, Algebra and Logic 14 (1975), 304\u2013319.","journal-title":"Algebra and Logic"},{"key":"8309_CR16","first-page":"328","volume":"18","author":"L. L. MAKSIMOVA","year":"1979","unstructured":"MAKSIMOVA, L. L., \u2018On a classification of modal logics\u2019, Algebra and Logic 18 (1979), 328\u2013340.","journal-title":"Algebra and Logic"},{"key":"8309_CR17","first-page":"556","volume":"18","author":"L. L. MAKSIMOVA","year":"1979","unstructured":"MAKSIMOVA, L. L., \u2018Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras\u2019, Algebra and Logic 18 (1979), 556\u2013586.","journal-title":"Algebra and Logic"},{"key":"8309_CR18","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1007\/BF01982206","volume":"21","author":"L.L. MAKSIMOVA","year":"1982","unstructured":"MAKSIMOVA, L.L., \u2018Absence of interpolation in modal companions of Dummett's logic\u2019, Algebra and Logic 21 (1982), 690\u2013694.","journal-title":"Algebra and Logic"},{"key":"8309_CR19","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02259848","volume":"31","author":"L.L. MAKSIMOVA","year":"1992","unstructured":"MAKSIMOVA, L.L., \u2018Modal Logics and Varieties of Modal Algebras: the Beth Property, Interpolation and Amalgamation\u2019, Algebra and Logic 31 (1992), 145\u2013166.","journal-title":"Algebra and Logic"},{"key":"8309_CR20","first-page":"36","volume":"27","author":"L. L. MAKSIMOVA","year":"1998","unstructured":"MAKSIMOVA, L. L., \u2018Explicit and Implicit Definability in Modal and Related Logics\u2019, Bulletin of Section of Logic 27 (1998), 36\u201339.","journal-title":"Bulletin of Section of Logic"},{"key":"8309_CR21","first-page":"316","volume":"38","author":"L.L. MAKSIMOVA","year":"1999","unstructured":"MAKSIMOVA, L.L., \u2018Projective Beth properties in modal and superintuitionistic logics\u2019, Algebra and Logic 38 (1999), 316\u2013333.","journal-title":"Algebra and Logic"},{"key":"8309_CR22","first-page":"680","volume":"38","author":"L.L. MAKSIMOVA","year":"1999","unstructured":"MAKSIMOVA, L.L., \u2018Superintuitionistic logics and the projective Beth property\u2019, Algebra and Logic 38 (1999), 680\u2013696.","journal-title":"Algebra and Logic"},{"key":"8309_CR23","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/jigpal\/8.6.797","volume":"8","author":"L. L. MAKSIMOVA","year":"2000","unstructured":"MAKSIMOVA, L. L., \u2018Strongly decidable properties of modal and intuitionistic calculi\u2019, Logic Journal of the IGPL 8 (2000), 797\u2013819.","journal-title":"Logic Journal of the IGPL"},{"key":"8309_CR24","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0168-0072(99)00049-4","volume":"105","author":"L.L. MAKSIMOVA","year":"2000","unstructured":"MAKSIMOVA, L.L., \u2018Intuitionistic Logic and Implicit Definability\u2019, Annals of Pure and Applied Logic 105 (2000), 83\u2013102.","journal-title":"Annals of Pure and Applied Logic"},{"key":"8309_CR25","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1023\/A:1010208217965","volume":"40","author":"L. L. MAKSIMOVA","year":"2001","unstructured":"MAKSIMOVA, L. L., \u2018Decidability of the projective Beth property in varieties of Heyting algebras\u2019, Algebra and Logic 40 (2001), 290\u2013301.","journal-title":"Algebra and Logic"},{"key":"8309_CR26","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1142\/9789812776471_0019","volume-title":"Advances in Modal Logic. Volume 3","author":"L. L. MAKSIMOVA","year":"2002","unstructured":"MAKSIMOVA, L. L., \u2018Projective Beth's Properties in Infinite Slice Extensions of K4\u2019, in WOLTER, P., H. WANSING, M. DE RIJKE, and M. ZAKHARYASCHEV, (eds.), Advances in Modal Logic. Volume 3, pp. 349\u2013363, World Scientific, Singapore, 2002."},{"key":"8309_CR27","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1023\/B:ALLO.0000035113.06412.22","volume":"43","author":"L.L. MAKSIMOVA","year":"2004","unstructured":"MAKSIMOVA, L.L., \u2018Definability in normal extensions of S4 logic\u2019, Algebra and Logic 43 (2004), 387\u2013410.","journal-title":"Algebra and Logic"},{"key":"8309_CR28","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BF01463150","volume":"13","author":"L.L. MAKSIMOVA","year":"1974","unstructured":"MAKSIMOVA L.L., and V. V. RYBAKOV, \u2018On lattice of normal modal logics\u2019, Algebra and Logic 13 (1974), 182\u2013216.","journal-title":"Algebra and Logic"},{"key":"8309_CR29","volume-title":"The Mathematics of Metamathematics","author":"H. RASIOWA","year":"1963","unstructured":"RASIOWA, H., and R. SlKORSKI, The Mathematics of Metamathematics, Warszawa, PWN, 1963."},{"key":"8309_CR30","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00249258","volume":"12","author":"W. RAUTENBERG","year":"1983","unstructured":"RAUTENBERG, W., \u2018Modal tableau calculi and interpolation\u2019, J. of Philosophical Logic 12 (1983), 403\u2013423.","journal-title":"J. of Philosophical Logic"},{"key":"8309_CR31","volume-title":"Admissibility of Logical Inference Rules","author":"V. RYBAKOV","year":"1997","unstructured":"RYBAKOV, V., Admissibility of Logical Inference Rules, Elsevier, Amsterdam, New York, 1997."},{"key":"8309_CR32","doi-asserted-by":"crossref","unstructured":"SAIN, L, \u2018Beth's and Craig's Properties via Epimorphisms and Amalgamation in Algebraic Logic\u2019, in BERGMAN, C. H., R., D. MADDUX, and D. I. PIGOZZI, (eds.), Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science, 425 (1990), 209\u2013226, Springer Verlag.","DOI":"10.1007\/BFb0043086"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8309-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8309-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8309-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T08:33:20Z","timestamp":1707122000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8309-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":32,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8309"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8309-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}