{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:44:14Z","timestamp":1776080654350,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"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":[[2001,2]]},"DOI":"10.1023\/a:1010577628486","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"89-109","source":"Crossref","is-referenced-by-count":9,"title":["Glivenko Type Theorems for Intuitionistic Modal Logics"],"prefix":"10.1007","volume":"67","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"350855_CR1","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1005073905902","volume":"61","author":"G. Bezhanishvili","year":"1998","unstructured":"Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part I', Studia Logica 61 (1998), 367-402.","journal-title":"Studia Logica"},{"key":"350855_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1005173628262","volume":"62","author":"G. Bezhanishvili","year":"1999","unstructured":"Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part II: Duality theory', Studia Logica 62 (1999), 1-28.","journal-title":"Studia Logica"},{"key":"350855_CR3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1023\/A:1005285631357","volume":"64","author":"G. Bezhanishvili","year":"2000","unstructured":"Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part III', Studia Logica 64 (2000), 215-256.","journal-title":"Studia Logica"},{"key":"350855_CR4","unstructured":"Bezhanishvili, G., 'Splitting monadic Heyting algebras', 1997, Report # IS-RR-97-0044F, JAIST."},{"key":"350855_CR5","unstructured":"Bezhanishvili, G., 'Q-Heyting algebras as reducts of monadic Heyting algebras', Submitted."},{"key":"350855_CR6","unstructured":"Bezhanishvili, G., '\u2200-free and \u2203-free reducts of monadic Heyting algebras', in preparation."},{"key":"350855_CR7","unstructured":"Bezhanishvili, G., and M. Zakharyaschev, 'Logics over MIPC', in Proceedings of Sequent Calculus and Kripke Semantics for Non-Classical Logics, RIMS Kokyuroku 1021, Kyoto University, 1997, pp. 86-95."},{"key":"350855_CR8","first-page":"142","volume":"6","author":"R.A. Bull","year":"1965","unstructured":"Bull, R.A., 'A modal extension of intuitionistic logic', Notre Dame Journal of Formal Logic 6 (1965), 142-146.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"350855_CR9","doi-asserted-by":"crossref","first-page":"609","DOI":"10.2307\/2269696","volume":"31","author":"R.A. Bull","year":"1966","unstructured":"Bull, R.A., 'MIPC as the formalization of an intuitionist concept of modality', Journal of Symbolic Logic 31 (1966), 609-616.","journal-title":"Journal of Symbolic Logic"},{"key":"350855_CR10","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"350855_CR11","unstructured":"Engelking, R., General Topology, Warszawa, 1977."},{"key":"350855_CR12","first-page":"298","volume":"214","author":"L. Esakia","year":"1974","unstructured":"Esakia, L., 'Topological Kripke models' (in Russian), Dokl. Akad. Nauk SSSR 214 (1974), 298-301.","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"350855_CR13","volume-title":"Heyting Algebras I. Duality Theory","author":"L. Esakia","year":"1985","unstructured":"Esakia, L., Heyting Algebras I. Duality Theory (in Russian), Metsniereba Press, Tbilisi, 1985."},{"key":"350855_CR14","first-page":"687","volume":"19","author":"G. Fisher Servi","year":"1978","unstructured":"Fisher Servi, G., 'The finite model property for MIPQ and some consequences', Notre Dame Journal of Formal Logic 19 (1978), 687-692.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"350855_CR15","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2272556","volume":"37","author":"D. Gabbay","year":"1972","unstructured":"Gabbay, D., 'Applications of trees to intermediate logics', Journal of Symbolic Logic 37 (1972), 135-138.","journal-title":"Journal of Symbolic Logic"},{"key":"350855_CR16","first-page":"183","volume":"15","author":"V. Glivenko","year":"1929","unstructured":"Glivenko, V., 'Sur quelques points de la logique de M. Brouwer', Bulletin de la Classe des Sciences de l'Acad\u00b4emie Royale de Belgique 15 (1929), 183-188.","journal-title":"Bulletin de la Classe des Sciences de l'Acad\u00b4emie Royale de Belgique"},{"key":"350855_CR17","volume-title":"Algebraic Logic","author":"P.R. Halmos","year":"1962","unstructured":"Halmos, P.R., Algebraic Logic, Chelsea Publishing Company, New York, 1962."},{"key":"350855_CR18","unstructured":"Kleene, S., Introduction to Metamathematics, Van Nostrand, New York, North Holland, Amsterdam and Noordhoff, Groningen, 1952."},{"key":"350855_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2271521","volume":"36","author":"C. McKay","year":"1971","unstructured":"McKay, C., 'A class of decidable intermediate propositional logics', Journal of Symbolic Logic 36 (1971), 127-128.","journal-title":"Journal of Symbolic Logic"},{"key":"350855_CR20","unstructured":"Monteiro, A., and O. Varsavsky, 'Algebras de Heyting mon\u00e1dicas', Actas de las X Jornadas de la Uni\u00f3n Matem\u00e1tica Argentina, Bah\u00eda Blanca, 1957, p. 52-62."},{"key":"350855_CR21","first-page":"687","volume":"13","author":"H. Ono","year":"1977","unstructured":"Ono, H., 'On some intuitionistic modal logics', Publications of Research Institute for Mathematical Sciences, Kyoto University 13 (1977), p. 687-722.","journal-title":"On some intuitionistic modal logics"},{"key":"350855_CR22","volume-title":"Time and Modality","author":"A. Prior","year":"1957","unstructured":"Prior, A., Time and Modality, Clarendon Press, Oxford, 1957."},{"key":"350855_CR23","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa, 1963."},{"key":"350855_CR24","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/BF01053262","volume":"52","author":"G. Reyes","year":"1993","unstructured":"Reyes, G., and M. Zawadowski, 'Formal systems for modal operators on locales', Studia Logica 52 (1993), 595-613.","journal-title":"Studia Logica"},{"key":"350855_CR25","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1305\/ndjfl\/1093636103","volume":"33","author":"V. Rybakov","year":"1992","unstructured":"Rybakov, V., 'A modal analog for Glivenko's theorem and its applications', Notre Dame Journal of Formal Logic 33 (1992), 244-248.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"350855_CR26","doi-asserted-by":"crossref","first-page":"111","DOI":"10.2307\/2266683","volume":"16","author":"S.G. Scroggs","year":"1951","unstructured":"Scroggs, S.G., 'Extensions of the Lewis system S5', Journal of Symbolic Logic, 16 (1951), 111-120.","journal-title":"Journal of Symbolic Logic"},{"key":"350855_CR27","first-page":"575","volume":"35","author":"T. Umezawa","year":"1959","unstructured":"Umezawa, T., 'On some properties of intermediate logics', Proceedings of the Japan Academy 35 (1959), 575-577.","journal-title":"Proceedings of the Japan Academy"},{"key":"350855_CR28","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2964756","volume":"24","author":"T. Umezawa","year":"1959","unstructured":"Umezawa, T., 'On logics intermediate between intuitionistic and classical predicate logics', Journal of Symbolic Logic 24 (1959), 141-153.","journal-title":"Journal of Symbolic Logic"},{"key":"350855_CR29","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01708856","volume":"40","author":"M. Wajsberg","year":"1933","unstructured":"Wajsberg, M., 'Ein erweiterter Klassenkalk\u00fcl', Monatshefte f\u00fcr Mathematikund Physik 40 (1933), 113-126.","journal-title":"Monatshefte f\u00fcr Mathematikund Physik"},{"key":"350855_CR30","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1004916107078","volume":"58","author":"F. Wolter","year":"1997","unstructured":"Wolter, F., 'Superintuitionistic companions of classical modal logics', Studia Logica 58 (1997), 229-259.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010577628486.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010577628486\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010577628486.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:15:57Z","timestamp":1754630157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010577628486"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["350855"],"URL":"https:\/\/doi.org\/10.1023\/a:1010577628486","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}