{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:40:15Z","timestamp":1761936015681,"version":"build-2065373602"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"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,6]]},"DOI":"10.1007\/bf00370182","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:54Z","timestamp":1099439394000},"page":"189-216","source":"Crossref","is-referenced-by-count":28,"title":["The disjunction property of intermediate propositional logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Alexander","family":"Chagrov","sequence":"first","affiliation":[]},{"given":"Michael","family":"Zakharyashchev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19720180802","volume":"18","author":"J. G. Anderson","year":"1972","unstructured":"J. G. Anderson [1972], Superconstructive prepositional calculi with extra axiom schemes containing one variable, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 18 (1972), pp. 113?130.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01624080","volume":"28","author":"F. Bellissima","year":"1989","unstructured":"F. Bellissima [1989], Two classes of intermediate propositional logics without disjunction property, Archives of Mathematical Logic 28 (1989), pp. 23?33.","journal-title":"Archives of Mathematical Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1305\/ndjfl\/1093870446","volume":"24","author":"J. F. A. K. Benthem van","year":"1983","unstructured":"J. F. A. K. van Benthem and I. L. Humberstone [1983], Halld\ufffdn-completeness by gluing of Kripke frames, Notre Dame Journal of Formal Logic 24 (1983), pp. 426?430.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR4","unstructured":"W. J. Blok [1976], Varieties of interior algebras, Dissertation, University of Amsterdam, 1976."},{"key":"CR5","unstructured":"A. V. Chagrov [1985], On complexity of propositional logics, Complexity Problems in Mathematical Logic, Kalinin State University, 1985, pp. 80?90 (in Russian)."},{"key":"CR6","unstructured":"A. V. Chagrov [1990], Undecidable properties of extensions of provability logic, parts I, II, to appear in Algebra and Logic (in Russian)."},{"key":"CR7","unstructured":"A. V. Chagrov [1991], The cardinality of the set of maximal intermediate logics with the disjunction property is of continuum, to appear in Mathematical USSR Zametki (in Russian)."},{"key":"CR8","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1989], Undecidability of the disjunction property of intermediate calculi, preprint, Institute of Applied Mathematics, the USSR Academy of Sciences, 1989, no. 57 (in Russian)."},{"key":"CR9","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1990], Undecidability of Halld\ufffdncompleteness of modal logics, preprint, Institute of Applied MAthematics, the USSR Academy of Sciences, 1990, no. 82 (in Russian)."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1990a], Undecidability of the disjunction property of propositional logics and other related problems, manuscript, 1990.","DOI":"10.1007\/BF00370182"},{"key":"CR11","first-page":"26","volume-title":"An essay in complexity aspects of intermediate calculi","author":"A. V. Chagrov","year":"1990","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1990b], An essay in complexity aspects of intermediate calculi, Proceedings of the Forth Asian Logic Conference, CSK Education Center, Tokyo, Japan, 1990, pp. 26?29."},{"key":"CR12","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1990c], Complexity problems in intermediate and modal logics, manuscript, 1990."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"A. V. Chagrov and M. V. Zakharyashchev [1991], Modal companions of intermediate logics: A survey, to appear in Studia Logica, 1991.","DOI":"10.1007\/BF00370331"},{"key":"CR14","unstructured":"Ja. M. Drugush [1978], A class of logics without the disjunction property, Vestnik of Moscow State University (Mathematics), no. 6 (1978), pp. 9?14 (in Russian)."},{"key":"CR15","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's algebras, Studies in Non-Classical Logics and Set Theory, Moscow, Nauka, 1979, pp. 257?287 (in Russian)."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.2307\/2272340","volume":"39","author":"K. Fine","year":"1974","unstructured":"K. Fine [1974], Logics containing K4. Part I, The Journal of Symbolic Logic 39 (1974), pp. 31?42.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR17","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, The Journal of Symbolic Logics, 50 (1985), pp. 619?651.","journal-title":"The Journal of Symbolic Logics"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"2877","DOI":"10.1073\/pnas.72.8.2877","volume":"72","author":"H. Friedman","year":"1975","unstructured":"H. Friedman [1975], The disjunction property implies the numerical existence property, Proceedings of the National Academy of Sciences of the United States of American 72 (1975), pp. 2877?2878.","journal-title":"Proceedings of the National Academy of Sciences of the United States of American"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1017\/S0022481200041190","volume":"54","author":"H. Friedman","year":"1989","unstructured":"H. Friedman and M. Sheard [1989], The equivalence of the disjunction and existence properties for modal arithmetic, The Journal of Symbolic Logic 54 (1989), pp. 1456?1459.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","volume":"35","author":"D. M. Gabbay","year":"1970","unstructured":"D. M. Gabbay [1970], The decidability of the Kreisel-Putnam system., The Journal of Symbolic Logic 35 (1970), pp. 431?437.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR21","unstructured":"D. M. Gabbay and D. H. J. de Jongh [1969], A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property, Technical Report, 1969."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D. M. Gabbay","year":"1974","unstructured":"D. M. Gabbay and D. H. J. de Jongh [1974], A sequence of decidability finitely axiomatizable intermediate logics with the disjunction property, The Journal of Symbolic Logic 39 (1974), pp. 67?78.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR23","unstructured":"G. I. Galanter [1988], Halld\ufffdn-completeness for superintuitionistic logics, Proceedings of IV Soviet-Finland Symposium for Mathematical Logic, Tbilisi, 1988, pp. 81?89 (in Russian)."},{"key":"CR24","unstructured":"G. I. Galanter [1990], A continuum of intermediate logics which are maximal among the logics having the intuitionistic disjunctionless fragment, Proceedings of 10th USSR Conference for Mathematical Logic, Alma-Ata, 1990, p. 41 (in Russian)."},{"key":"CR25","unstructured":"G. I. Galanter and A. Ju. Muravitski [1988], On Minari's question, Proceedings of 9th USSR Conference for Mathematical Logics, Leningrad, 1988, p. 34 (in Russian)."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"G. Gentzen [1934?5], Untersuchungen uber das logische Schliessen, Mathematische Zeitschrift, Heft 38 (1934?5), pp. 405?431.","DOI":"10.1007\/BF01201363"},{"key":"CR27","unstructured":"K. G\ufffddel [1933], Interpretation des intuitionistischen Aussagenkalkulus, Ergebnisse eines mathematischen Kolloquiums, Heft 4 (1933), pp. 39?40."},{"key":"CR28","unstructured":"V. L. Gudovshchikov and V. V. Rybakov [1982], The disjunction property in modal logics, Proceedings of 8th USSR Conference ?Logic and Methodology of Science?, Vilnius, 1982, pp. 35?36."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2266686","volume":"16","author":"S. Halld\ufffdn","year":"1951","unstructured":"S. Halld\ufffdn [1951], On the semantic non-completeness of certain Lewis calculi, The Journal of Symbolic Logic 16 (1951), pp. 127?129.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01360048","volume":"5","author":"R. Harrop","year":"1956","unstructured":"R. Harrop [1956], On disjunctions and existential statements in intuitionistic systems of logic, Math. Annalen 5 (1956), pp. 347?361.","journal-title":"Math. Annalen"},{"key":"CR31","first-page":"293","volume":"14","author":"T. Hosoi","year":"1967","unstructured":"T. Hosoi [1967], On intermediate logics, I, The Journal of the Faculty of Science, University of Tokio, Section I 14 (1967), pp. 293?312.","journal-title":"The Journal of the Faculty of Science, University of Tokio, Section I"},{"key":"CR32","first-page":"67","volume":"5","author":"T. Hosoi","year":"1973","unstructured":"T. Hosoi and H. Ono [1973], Intermediate propositional logics (A survey), The Journal of Tsuda College, 5 (1973), pp. 67?82.","journal-title":"The Journal of Tsuda College"},{"key":"CR33","first-page":"1203","volume":"8","author":"V. A. Jankov","year":"1963","unstructured":"V. A. Jankov [1963], Relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures, Soviet Mathematical Doklady 8 (1963), pp. 1203?1204.","journal-title":"Soviet Mathematical Doklady"},{"key":"CR34","unstructured":"D. H. J. de Jongh [1968], Investigations on the intuitionistic propositional calculus, Dissertation, University of Wisconsin, 1968."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"D. H. J. de Jongh [1970], A characterization of the intuitionistic propositional calculus, Intuitionistic and Proof Theory, A. Kino, J. Myhill, R. E. Vesley (eds.), Amsterdam, 1970, pp. 211?217.","DOI":"10.1016\/S0049-237X(08)70752-3"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1002\/malq.19790252505","volume":"25","author":"R. E. Kirk","year":"1979","unstructured":"R. E. Kirk [1979], Some classes of Kripke frames characteristic for the intuitionistic logic, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 25 (1979), pp. 409?410.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1093883567","volume":"23","author":"R. E. Kirk","year":"1982","unstructured":"R. E. Kirk [1982], A result on propositional logics having the disjunction property, Notre Dame Journal of Formal Logic 23 (1982), pp. 71?74.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S. C. Kleene","year":"1945","unstructured":"S. C. Kleene [1945], On the interpretation of intuitionistic number theory, The Journal of Symbolic Logic 10 (1945), pp. 109?124.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","volume":"27","author":"S. C. Kleene","year":"1962","unstructured":"S. C. Kleene [1962], Disjunction and existence under implication in elementary intuitionistic formalisms, The Journal of Symbolic Logic 27 (1962), pp. 11?18.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR40","doi-asserted-by":"crossref","first-page":"46","DOI":"10.3792\/pjaa.54.46","volume":"54","author":"Y. Komori","year":"1978","unstructured":"Y. Komori [1978], Logics without Craig's interpolation property, Proceedings of the Japan Academy 54 (1978), pp. 46?48.","journal-title":"Proceedings of the Japan Academy"},{"key":"CR41","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1967","unstructured":"G. Kreisel and H. Putnam [1967], Eine unableitbarkeitsbeweismethode f\ufffdr den intuitionistischen Aussgenkalkul, Archiv f\ufffdr mathematische Logik und Grundlagenforschung 3 (1957), pp. 74?78.","journal-title":"Archiv f\ufffdr mathematische Logik und Grundlagenforschung"},{"key":"CR42","unstructured":"A. V. Kuznetsov [1974], On some questions of classification of superintuitonistic logics, Proceedings of 3rd USSR Conference for Mathematical Logic, Novosibirsk, 1974, pp. 119?122 (in Russian)."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1305\/ndjfl\/1093958745","volume":"7","author":"E. J. Lemmon","year":"1966","unstructured":"E. J. Lemmon [1966], A note on Halld\ufffdn-incompleteness, Notre Dame Journal of Formal Logic, 7 (1966), pp. 296?300.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR44","first-page":"288","volume":"10","author":"L. A. Levin","year":"1969","unstructured":"L. A. Levin [1969], Some syntactic theorems on the calculus of finite problems of Ju. T. Medvedev, Soviet Mathematical Doklady 10 (1969), pp. 288?290.","journal-title":"Soviet Mathematical Doklady"},{"key":"CR45","unstructured":"Logic Notebook [1986], Novosibirsk (in Russian)."},{"key":"CR46","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S1385-7258(52)50028-3","volume":"14","author":"J. ?ukasiewicz","year":"1952","unstructured":"J. ?ukasiewicz [1952], On the intuitionistic theory of deduction, Indagationes Mathematicae 14 (1952), pp. 202?212.","journal-title":"Indagationes Mathematicae"},{"key":"CR47","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/BF01877235","volume":"15","author":"L. L. Maksimova","year":"1976","unstructured":"L. L. Maksimova [1976], Principle of variable separation in propositional logics, Algebra and Logic 15 (1976), pp. 168?184 (in Russian).","journal-title":"Algebra and Logic"},{"key":"CR48","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF01670006","volume":"16","author":"L. L. Maksimova","year":"1977","unstructured":"L. L. Maksimova [1977], The Craig theorem in superintuitionistic logics and amalgamated varieties of pseudo-Boolean algebras, Algebra and Logic 16 (1977), pp. 643?681 (in Russian).","journal-title":"Algebra and Logic"},{"key":"CR49","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370479","volume":"38","author":"L. L. Maksimova","year":"1979","unstructured":"L. L. Maksimova [1979], Interpolation properties of superintuitionistic logics, Studia Logica 38 (1979), pp. 419?128.","journal-title":"Studia Logica"},{"key":"CR50","unstructured":"L. L. Maksimova [1984], On the number of maximal intermediate logics having the disjunction property, Proceedings of 7th USSR Conference for Mathematical Logic, Novosibirsk, 1984, pp. 95 (in Russian)."},{"key":"CR51","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L. L. Maksimova","year":"1986","unstructured":"L. L. Maksimova [1986], On maximal intermediate logics with the disjunction property, Studia Logica 45 (1986), pp. 69?75.","journal-title":"Studia Logica"},{"key":"CR52","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01463150","volume":"13","author":"L. L. Maksimova","year":"1974","unstructured":"L. L. Maksimova and V. V. Rybakov [1974], On lattice of normal modal logics, Algebra and Logic 13 (1974), pp. 188?216 (in Russian).","journal-title":"Algebra and Logic"},{"key":"CR53","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2268941","volume":"18","author":"J. C. C. McKinsey","year":"1953","unstructured":"J. C. C. McKinsey [1953], Systems of modal logic which are not unreasonable in the sense of Halld\ufffdn, The Journal of Symbolic Logic 18 (1953), pp. 109?113.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR54","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, The Journal of Symbolic Logic, 13 (1948), pp. 1?5.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR55","first-page":"771","volume":"148","author":"Ju. T. Medvbdev","year":"1963","unstructured":"Ju. T. Medvbdev [1963], Interpretation of logical formulas by finite problems and its connection with the theory of realizability, Soviet Mathematical Doklady 148 (1963), pp. 771?774 (in Russian).","journal-title":"Soviet Mathematical Doklady"},{"key":"CR56","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1305\/ndjfl\/1093635238","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"P. Miglioli, U. Moscato, M. Ornaghi, S. Quazza and G. Usberti [1989], Some results on intermediate constructive logics, Notre Dame Journal of Formal Logic, 30 (1989), pp. 543?562.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR57","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF00373276","volume":"45","author":"P. Minari","year":"1986","unstructured":"P. Minari [1986], Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Studia Logica 45 (1986), pp. 207?222.","journal-title":"Studia Logica"},{"key":"CR58","unstructured":"P. Minari and A. Wro?ski [1988], The property (HD) in intermediate logics: a partial solution to a problem of H. Ono, Reports on Mathematical Logic, no. 22 (1988). pp. 21?25."},{"key":"CR59","unstructured":"I. Nakamura [1983], Disjunction property for some intermediate predicate logics, Reports on Mathematical Logic, no. 15 (1983), pp. 33?39."},{"key":"CR60","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","volume":"25","author":"I. Nishimura","year":"1960","unstructured":"I. Nishimura [1960], On formulas of one variable in intuitionistic prepositional calculus, The Journal of Symbolic Logic, 25 (1960), pp. 327?331.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR61","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2977\/prims\/1195193228","volume":"8","author":"H. Ono","year":"1972","unstructured":"H. Ono [1972], Some results on the intermediate logics, Publ. RIMS, Kyoto University 8 (1972), pp. 117?130.","journal-title":"Publ. RIMS, Kyoto University"},{"key":"CR62","unstructured":"H. Ono [1987], Some problems in intermediate predicate logics, Reports on Mathematical Logic, no. 21 (1987), pp. 55?67."},{"key":"CR63","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1953-0055952-4","volume":"75","author":"G. F. Rose","year":"1953","unstructured":"G. F. Rose [1953], Prepositional calculus and realizability, Transaction of the American Mathematical Society 75 (1953), pp. 1?19.","journal-title":"Transaction of the American Mathematical Society"},{"key":"CR64","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0049-237X(08)70728-6","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","author":"H. Sahlqvist","year":"1975","unstructured":"H. Sahlqvist [1975], Completeness and correspondence in the first and second order semantics for modal logic, Proceedings of the Third Scandinavian Logic Symposium, [S. Kanger (ed.), North-Holland, Amsterdam, 1975, pp. 110?143."},{"key":"CR65","unstructured":"K. Sasaki [1990], The disjunction property of the logics with axioms of only one variable, manuscript, 1990."},{"key":"CR66","first-page":"542","volume":"235","author":"V. B. Shekhtman","year":"1977","unstructured":"V. B. Shekhtman [1977], On incomplete prepositional logics, Soviet Mathematical Doklady 235 (1977), pp. 542?545 (in Russian).","journal-title":"Soviet Mathematical Doklady"},{"key":"CR67","first-page":"549","volume":"240","author":"V. B. Shekhtman","year":"1978","unstructured":"V. B. Shekhtman [1978], Undecidable superintuitionistic calculus, Soviet Mathematical Doklady 240 (1978), pp. 549?552. (in Russian).","journal-title":"Soviet Mathematical Doklady"},{"key":"CR68","first-page":"116","volume":"18","author":"T. Skura","year":"1989","unstructured":"T. Skura [1989], A complete syntactical characterization of the intuitionistic logic, Bulletin of the Section of Logic, 18 (1989), pp. 116?120.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR69","first-page":"963","volume":"41","author":"S. K. Sobolev","year":"1977","unstructured":"S. K. Sobolev [1977], On finite dimensional superintuitionistic logics, Izvestija of the USSR Academy of Sciences (Mathematics), 41 (1977), pp. 963?986 (in Russian).","journal-title":"Izvestija of the USSR Academy of Sciences (Mathematics)"},{"key":"CR70","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. M. Solovay","year":"1976","unstructured":"R. M. Solovay [1976], Provability interpretation of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287?304.","journal-title":"Israel Journal of Mathematics"},{"key":"CR71","unstructured":"N.-Y. Suzuki [1990], Some syntactical properties of intermediate logics, to appear in Notre Dame Journal of Formal Logic."},{"key":"CR72","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01837554","volume":"40","author":"M. Szatkowski","year":"1981","unstructured":"M. Szatkowski [1981], On fragments of Medvedev's logic, Studia Logica 40 (1981), pp. 39?54.","journal-title":"Studia Logica"},{"key":"CR73","first-page":"1257","volume":"161","author":"F. L. Varpakhovski","year":"1965","unstructured":"F. L. Varpakhovski [1965], On non-realizability of disjunction of non-realizable formulas, Soviet Mathematical Doklady 161 (1965), pp. 1257?1258 (in Russian).","journal-title":"Soviet Mathematical Doklady"},{"key":"CR74","first-page":"45","volume":"46","author":"M. Wajsberg","year":"1938","unstructured":"M. Wajsberg [1938], Untersuchungen uber den Aussagenkalkul von A. Heyting, Wiadomo?ci matematyczne 46 (1938), pp. 45?101.","journal-title":"Wiadomo?ci matematyczne"},{"key":"CR75","first-page":"39","volume":"1","author":"A. Wro?ski","year":"1973","unstructured":"A. Wro?ski [1973], Intermediate logics and the disjunction property, Reports on Mathematical Logic, 1 (1973), pp. 39?51.","journal-title":"Reports on Mathematical Logic"},{"key":"CR76","first-page":"126","volume":"6","author":"A. Wro?ski","year":"1976","unstructured":"A. Wro?ski [1976], Remarks on Halld\ufffdn completeness of modal and intermediate logics, Bulletin of the Section of Logic 6 (1976), pp. 126?129.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR77","first-page":"139","volume":"10","author":"S. Zachorowski","year":"1978","unstructured":"S. Zachorowski [1978], Remarks on interpolation property for intermediate logics, Reports on Mathematical Logic, 10 (1978), pp. 139?146.","journal-title":"Reports on Mathematical Logic"},{"key":"CR78","first-page":"274","volume":"27","author":"M. V. Zakharyashchev","year":"1983","unstructured":"M. V. Zakharyashchev [1983], On intermediate logics, Soviet Mathematical Doklady 27 (1983), pp. 274?277.","journal-title":"Soviet Mathematical Doklady"},{"key":"CR79","first-page":"252","volume":"29","author":"M. V. Zakharyashchev","year":"1984","unstructured":"M. V. Zakharyashchev [1984], Normal modal logics containing S4, Soviet Mathematical Doklady 29 (1984), pp. 252?255.","journal-title":"Soviet Mathematical Doklady"},{"key":"CR80","first-page":"729","volume":"42","author":"M. V. Zakharyashchev","year":"1987","unstructured":"M. V. Zakharyashchev [1987], On the disjunction property of intermediate and modal logics, Mathematical USSR Zametki 42 (1987), pp. 729?738 (in Russian).","journal-title":"Mathematical USSR Zametki"},{"key":"CR81","first-page":"659","volume":"27","author":"M. V. Zakharyashchev","year":"1988","unstructured":"M. V. Zakharyashchev [1988], Syntax and semantics of modal logics containing S4, Algebra and Logic 27 (1988), pp. 659?689 (in Russian).","journal-title":"Algebra and Logic"},{"key":"CR82","first-page":"402","volume":"28","author":"M. V. Zakharyashchev","year":"1989","unstructured":"M. V. Zakharyashchev [1989], Syntax and semantics of intermediate logics, Algebra and Logic 28 (1989), pp. 402?429 (in Russian).","journal-title":"Algebra and Logic"},{"key":"CR83","first-page":"1415","volume":"180","author":"M. V. Zakharyashchev","year":"1989","unstructured":"M. V. Zakharyashchev [1989a], Modal companions of intermediate logics: syntax, semantics and preservation theorems, Mathematical USSR Sbornik 180 (1989), pp. 1415?1427 (in Russian).","journal-title":"Mathematical USSR Sbornik"},{"key":"CR84","unstructured":"M. V. Zakharyashchev [1990], A new solution to a problem of T. Hosoi and H. Ono, manuscript, 1990."},{"key":"CR85","unstructured":"M. V. Zakharyashchev and S. V. Popov [1980], On complexity of countermodels for the intuitionistic calculus, preprint, Institute of Applied Mathematics, the USSR Academy of Sciences, 1980, no. 45 (in Russian)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370182.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370182\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:59Z","timestamp":1585938239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":85,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF00370182"],"URL":"https:\/\/doi.org\/10.1007\/bf00370182","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}