{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:00Z","timestamp":1755220980716,"version":"3.43.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1005084328298","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"345-358","source":"Crossref","is-referenced-by-count":1,"title":["The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable"],"prefix":"10.1007","volume":"59","author":[{"given":"Michael","family":"Zakharyaschev","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"149763_CR1","unstructured":"S.N. Artemov, 1995, Operational modal logic, Technical Report 95-29, MSI, Cornell University."},{"key":"149763_CR2","unstructured":"W.J. Blok, 1976, Varieties of interior algebras, PhD thesis, University of Amsterdam."},{"key":"149763_CR3","doi-asserted-by":"crossref","first-page":"941","DOI":"10.2307\/2273660","volume":"48","author":"W.J. Blok","year":"1983","unstructured":"W.J. Blok and P. K\u00d6hler, 1983, Algebraic semantics for quasi-classical modal logics, Journal of Symbolic Logic, 48:941\u2013964.","journal-title":"Journal of Symbolic Logic"},{"key":"149763_CR4","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BF01984693","volume":"24","author":"A.V. Chacrov","year":"1985","unstructured":"A.V. Chacrov, 1985, Varieties of logical matrices, Algebra and Logic, 24:278\u2013325.","journal-title":"Algebra and Logic"},{"key":"149763_CR5","first-page":"67","volume-title":"Mathematical Problems of Cybernetics","author":"A.V. Chagrov","year":"1994","unstructured":"A.V. Chagrov, 1994, Undecidable properties of superintuitionistic logics, In S.V. Jablonskij, editor, Mathematical Problems of Cybernetics, volume 5, pages 67\u2013108, Physmatlit, Moscow. (Russian)."},{"key":"149763_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00370331","volume":"51","author":"A.V. Chagrov","year":"1992","unstructured":"A.V. Chagrov and M.V. Zakharyaschev, 1992, Modal companions of intermediate propositional logics, Studia Logica, 51:49\u201382.","journal-title":"Studia Logica"},{"key":"149763_CR7","first-page":"257","volume-title":"Studies in Non-classical Logics and Set Theory","author":"L.L. Esakia","year":"1979","unstructured":"L.L. Esakia, 1979, On varieties of Grzegorczyk algebras. In A. I. Mikhailov, editor, Studies in Non-classical Logics and Set Theory, pages 257\u2013287, Moscow, Nauka. (Russian)."},{"key":"149763_CR8","first-page":"147","volume-title":"Logical Inference. Proceedings of the USSR Symposium on the Theory of Logical Inference","author":"L.L. Esakia","year":"1979","unstructured":"L.L. Esakia, 1979, To the theory of modal and superintuitionistic systems, In V.A. Smirnov, editor, Logical Inference. Proceedings of the USSR Symposium on the Theory of Logical Inference, pages 147\u2013172, Nauka, Moscow. (Russian)."},{"key":"149763_CR9","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","volume":"50","author":"K Fine","year":"1985","unstructured":"K, Fine, 1985, Logics containing K4, part II. Journal of Symbolic Logic, 50:619\u2013651","journal-title":"Journal of Symbolic Logic"},{"key":"149763_CR10","first-page":"39","volume":"4","author":"K. G\u00d6del","year":"1933","unstructured":"K. G\u00d6del, 1933, Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls, Ergebnisse eines mathematischen Kolloquiums, 4:39\u201340.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"149763_CR11","first-page":"41","volume":"6","author":"R.I. Goldblatt","year":"1976","unstructured":"R.I. Goldblatt, 1976, Metamathematics of modal logics, Part I, Reports on Mathematical Logic, 6:41\u201378.","journal-title":"Reports on Mathematical Logic"},{"key":"149763_CR12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01463150","volume":"13","author":"L.L. Maksimova","year":"1974","unstructured":"L.L. Maksimova and V.V. Rybakov, 1974, Lattices of modal logics, Algebra and Logic, 13:105\u2013122.","journal-title":"Algebra and Logic"},{"key":"149763_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J.C.C. McKinsey","year":"1948","unstructured":"J.C.C. McKinsey and A. Tarski, 1948, Some theorems about the sentential calculi of Lewis and Heyting, Journal of Symbolic Logic, 13:1\u201315.","journal-title":"Journal of Symbolic Logic"},{"key":"149763_CR14","volume-title":"Constructive Mathematical Logic from the Point of View of Classical Logic","author":"P.S. Novikov","year":"1977","unstructured":"P.S. Novikov, 1977, Constructive Mathematical Logic from the Point of View of Classical Logic, Nauka, Moscow. (Russian)."},{"key":"149763_CR15","first-page":"263","volume":"35","author":"I.E. Orlov","year":"1928","unstructured":"I.E. Orlov, 1928, The calculus of compatibility of propositions, Mathematics of the USSR, Sbornik, 35:263\u2013286. (Russian).","journal-title":"Mathematics of the USSR, Sbornik"},{"key":"149763_CR16","unstructured":"H. Rasiowa and R. Sikorski, 1963, The Mathematics of Metamathematics, Polish Scientific Publishers."},{"key":"149763_CR17","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1070\/IM1987v028n03ABEH000902","volume":"28","author":"V.V. Rybakov","year":"1987","unstructured":"V.V. Rybakov, 1987, The decidability of admissibility of inference rules in the modal system Grz and intuitionistic logic, Mathematics of the USSR, Izvestiya, 28:589\u2013608.","journal-title":"Mathematics of the USSR, Izvestiya"},{"key":"149763_CR18","unstructured":"K. Segerberg, 1971, An essay in classical modal logic, Philosophical Studies, Uppsala, 13."},{"key":"149763_CR19","doi-asserted-by":"crossref","unstructured":"F. Wolter and M. Zakharyaschev, 1996, On the relation between intuitionistic and classical modal logics, Algebra and Logic. To appear.","DOI":"10.1007\/BF02672476"},{"key":"149763_CR20","unstructured":"F. Wolter and M. Zakharyaschev, 1997, Intuitionistic modal logics as fragments of classical bimodal logics, In E. Orlowska, editor, Logic at Work, Kluwer Academic Publishers. In print."},{"key":"149763_CR21","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01982017","volume":"28","author":"M.V. Zakharyaschev","year":"1989","unstructured":"M.V. Zakharyaschev, 1989, Syntax and semantics of intermediate logics, Algebra and Logic, 28:262\u2013282.","journal-title":"Algebra and Logic"},{"key":"149763_CR22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1070\/SM1991v068n01ABEH002104","volume":"68","author":"M.V. Zakharyaschev","year":"1991","unstructured":"M.V. Zakharyaschev, 1991, Modal companions of superintuitionistic logics: syntax, semantics and preservation theorems, Matematics of the USSR, Sbornik, 68:277\u2013289.","journal-title":"Matematics of the USSR, Sbornik"},{"key":"149763_CR23","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","volume":"57","author":"M.V. Zakharyaschev","year":"1992","unstructured":"M.V. Zakharyaschev, 1992, Canonical formulas for K4, Part I: Basic results, Journal of Symbolic Logic, 57:1377\u20131402.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005084328298.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005084328298\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005084328298.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:11:58Z","timestamp":1754629918000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005084328298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["149763"],"URL":"https:\/\/doi.org\/10.1023\/a:1005084328298","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}