{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T03:08:46Z","timestamp":1783393726842,"version":"3.54.6"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"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,3]]},"DOI":"10.1023\/a:1004916107078","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"229-259","source":"Crossref","is-referenced-by-count":14,"title":["Superintuitionistic Companions of Classical Modal Logics"],"prefix":"10.1007","volume":"58","author":[{"given":"Frank","family":"Wolter","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"132586_CR1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01053021","volume":"53","author":"G. Amati","year":"1994","unstructured":"AMATI, G., & F. PIRRI, 1994, \u201cA uniform tableau method for intuitionistic modal logics\u201d, Studia Logica\n53, 29-60.","journal-title":"Studia Logica"},{"key":"132586_CR2","unstructured":"BLOK, W., 1978, On the degree of incompleteness in modal logic and the covering relation in the lattice of modal logics, Report 78-07, Dept. of Math., University of Amsterdam."},{"key":"132586_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W. Blok","year":"1982","unstructured":"BLOK, W., & D. PIGOZZI, 1982, \u201cOn the structure of varieties with equationally definable principle congruences I\u201d, Algebra Universalis\n15, 195-227.","journal-title":"Algebra Universalis"},{"key":"132586_CR4","first-page":"75","volume-title":"Local deduction theorems in algebraic logic, in Algebraic Logic","author":"W. Blok","year":"1991","unstructured":"BLOK, W., & D. PIGOZZI, 1991, Local deduction theorems in algebraic logic, in Algebraic Logic, edited by H. Andreka, J. D. Monk, and L. Nemeti, pages 75-109, North-Holland, Budapest."},{"key":"132586_CR5","first-page":"142","volume":"6","author":"R. A. Bull","year":"1965","unstructured":"BULL, R. A., 1965, \u201cA modal extension of intuitionistic logic\u201d, Notre Dame Journal of Formal Logic\n6, 142-146.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"132586_CR6","doi-asserted-by":"crossref","first-page":"609","DOI":"10.2307\/2269696","volume":"31","author":"R. A. Bull","year":"1966","unstructured":"BULL, R. A., 1966, \u201cMIPC as the formalization of an intuitionistic concept of modality\u201d, The Journal of Symbolic Logic\n31, 609-616.","journal-title":"The Journal of Symbolic Logic"},{"key":"132586_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02429840","volume":"43","author":"M. Bosic","year":"1984","unstructured":"Bosic, M., & K. Do\u0160en, 1984, \u201cModels for normal intuitionistic modal logics\u201d, Studia Logica\n43, 217-245.","journal-title":"Studia Logica"},{"key":"132586_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K. Do\u0160en","year":"1985","unstructured":"Do\u0160en, K., 1985, \u201cModels for stronger intuitionistic modal logics\u201d, Studia Logica\n44, 39-70.","journal-title":"Studia Logica"},{"key":"132586_CR9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00370182","volume":"51","author":"A. V. Chagrov","year":"1991","unstructured":"CHAGROV, A. V., & M. V. ZAKHARYASCHEV, 1991, \u201cThe Disjunction Property of intermediate propositional logics\u201d, Studia Logica\n51, 189-215.","journal-title":"Studia Logica"},{"key":"132586_CR10","doi-asserted-by":"crossref","unstructured":"CHAGROV, A. V., & M. V. ZAKHARYASCHEV, 1996, Modal and superintuitionistic logics, Oxford University Press.","DOI":"10.1093\/oso\/9780198537793.003.0002"},{"key":"132586_CR11","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W. B. Ewald","year":"1986","unstructured":"EWALD, W. B., 1986, \u201cIntuitionistic Tense and Modal Logic\u201d, The Journal of Symbolic Logic\n51, 166-179.","journal-title":"The Journal of Symbolic Logic"},{"key":"132586_CR12","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","volume":"50","author":"K. Fine","year":"1985","unstructured":"FINE, K., 1985, \u201cLogics containing K4, Part II\u201d, Journal of Symbolic Logic\n50, 619-651.","journal-title":"Journal of Symbolic Logic"},{"key":"132586_CR13","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"S. G. Fischer","year":"1977","unstructured":"FISCHER SERVI, G., 1977, \u201cOn modal logics with an intuitionistic base\u201d, Studia Logica\n36, 141-149.","journal-title":"Studia Logica"},{"key":"132586_CR14","first-page":"59","volume-title":"Italian Studies in the Philosophy of Science","author":"S. G. Fischer","year":"1980","unstructured":"FISCHER SERVI, G., 1980, Semantics for a class of Intuitionistic Modal Calculi, in M. L. Dalla Chiara (ed.), Italian Studies in the Philosophy of Science, Reidel, Dordrecht, 59-72."},{"key":"132586_CR15","first-page":"179","volume":"42","author":"S. G. Fischer","year":"1984","unstructured":"FISCHER SERVI, G., 1984, \u201cAxiomatizations for some Intuitionistic Modal Logics\u201d, Rend. Sem. Mat. Univers. Polit.\n42, 179-194.","journal-title":"Rend. Sem. Mat. Univers. Polit."},{"key":"132586_CR16","first-page":"27","volume":"17","author":"J. Font","year":"1984","unstructured":"FONT, J., 1984, \u201cImplication and deduction in some intuitionistic modal logics\u201d, Reports on Mathematical Logic\n17, 27-38.","journal-title":"Reports on Mathematical Logic"},{"key":"132586_CR17","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1093636766","volume":"27","author":"J. Font","year":"1986","unstructured":"FONT, J., 1986, \u201cModality and Possibility in Some Intuitionistic Modal Logics\u201d, Notre Dame Journal of Formal Logic\n27, 533-546.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"132586_CR18","first-page":"502","volume":"49","author":"A. Fuhrmann","year":"1989","unstructured":"FUHRMANN, A., 1989, \u201cModels for Relevant Modal Logics\u201d, Studia Logica\n49, 502-514.","journal-title":"Studia Logica"},{"key":"132586_CR19","first-page":"806","volume":"9","author":"V. Jankov","year":"1968","unstructured":"JANKOV, V., 1968, \u201cConstructing a sequence of strongly independent superintuitionistic propositional calculi\u201d, Soviet Mathematics Doklady\n9, 806-807.","journal-title":"Soviet Mathematics Doklady"},{"key":"132586_CR20","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B. J\u00d3nsson","year":"1967","unstructured":"J\u00d3nsson, B., 1967, \u201cAlgebras whose congruence lattices are distributive\u201d, Math. Scand.\n21, 110-121.","journal-title":"Math. Scand."},{"key":"132586_CR21","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/BF00370158","volume":"49","author":"M. Kracht","year":"1990","unstructured":"KRACHT, M., 1990, \u201cAn almost general splitting theorem for modal logic\u201d, Studia Logica\n49, 455-470.","journal-title":"Studia Logica"},{"key":"132586_CR22","unstructured":"KRACHT, M., 1995, Tools and Techniques in Modal Logic, manuscript."},{"key":"132586_CR23","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","volume":"12","author":"D. Makinson","year":"1971","unstructured":"MAKINSON, D., 1971, \u201cSome embedding theorems for modal logic\u201d, Notre Dame Journal of Formal Logic\n12, 252-254.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"132586_CR24","doi-asserted-by":"crossref","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H. Ono","year":"1977","unstructured":"ONO, H., 1977, \u201cOn some intuitionistic modal logics\u201d, Publ. Kyoto Univ.\n13, 687-722.","journal-title":"Publ. Kyoto Univ."},{"key":"132586_CR25","doi-asserted-by":"crossref","unstructured":"RAUTENBERG, W., 1979, Klassische und nichtklassische Aussagenlogik, Wiesbaden.","DOI":"10.1007\/978-3-322-85796-5"},{"key":"132586_CR26","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R. Routley","year":"1972","unstructured":"ROUTLEY, R., & R. MEYER, 1972, \u201cThe semantics of entaiment II\u201d, Journal of Philosophical Logic\n1, 53-73.","journal-title":"Journal of Philosophical Logic"},{"key":"132586_CR27","volume-title":"Modal theories with intuitionistic logic. Proceedings of the Conference on Mathematical Logic","author":"V. Sotirov","year":"1984","unstructured":"SOTIROV, V., 1984, Modal theories with intuitionistic logic. Proceedings of the Conference on Mathematical Logic, Sofia, Bulgarian Acadamy of Sciences."},{"key":"132586_CR28","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF01874703","volume":"40","author":"D. Vakarelov","year":"1981","unstructured":"VAKARELOV, D., 1981, \u201cIntuitionistic Modal Logics Incompatible with the law of excluded middle\u201d, Studia Logica\n40, 103-111.","journal-title":"Studia Logica"},{"key":"132586_CR29","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF00370811","volume":"44","author":"D. Vakarelov","year":"1985","unstructured":"VAKARELOV, D., 1985, \u201cAn application of the Rieger-Nishimura Formulas to the Intuitionistic Modal Logics\u201d, Studia Logica\n44, 79-85.","journal-title":"Studia Logica"},{"key":"132586_CR30","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0168-0072(90)90059-B","volume":"50","author":"D. Wijsekera","year":"1990","unstructured":"WIJSEKERA, D., 1990, \u201cConstructive modal logic 1\u201d, Annals of Pure and Applied Logic\n50, 271-301.","journal-title":"Annals of Pure and Applied Logic"},{"key":"132586_CR31","unstructured":"WOLTER, F., 1993, Lattices of Modal Logics, Dissertation, FU Berlin."},{"key":"132586_CR32","doi-asserted-by":"crossref","first-page":"757","DOI":"10.2307\/2275755","volume":"60","author":"F. Wolter","year":"1995","unstructured":"WOLTER, F., 1995, \u201cThe finite model property in tense logic\u201d, Journal of Symbolic Logic\n60, 757-774","journal-title":"Journal of Symbolic Logic"},{"key":"132586_CR33","unstructured":"WOLTER, F., & M. ZAKHARYASCHEV, 1996, Intuitionistic Modal Logics as Fragments of Classical Bimodal Logics, forthcoming in Ewa Orlowska (editor), Logic at Work, Essays in honour of Helena Rasiowa."},{"key":"132586_CR34","doi-asserted-by":"crossref","unstructured":"WOLTER, F., & M. ZAKHARYASCHEV, 1996, \u201cOn the relation between intuitionistic and classical modal logics\u201d, to appear in Algebra and Logic.","DOI":"10.1007\/BF02672476"},{"key":"132586_CR35","doi-asserted-by":"crossref","first-page":"377","DOI":"10.2307\/2275372","volume":"57","author":"M. Zakharyaschev","year":"1992","unstructured":"ZAKHARYASCHEV, M., 1992, \u201cCanonical Formulas for K4, Part I\u201d, Journal of Symbolic Logic\n57, 377-402.","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:1004916107078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004916107078\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004916107078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:26:34Z","timestamp":1754630794000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004916107078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["132586"],"URL":"https:\/\/doi.org\/10.1023\/a:1004916107078","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}