Abstract
This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.
Similar content being viewed by others
References
J. G. Anderson [1975], Superconstructive propositional calculi with extra axiom schemes containing one variable, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 18 (1972), pp. 113–130.
S. N. Artemov [1986], Superintuitonistic logics having provability interpretation, Soviet Mathematics Doklady 291 (1986), pp. 1289–1291. (Russian)
S. N. Artemov [1987], On logical axiomatization of provabiity, VIII ICLMPS, Abstracts, Vol. 1, Moscow, 1987, pp. 7–10.
L. D. Beklemishev [1989], On classification of propositional provability logics, Izvestija of the USSR Academy of Sciences (mathematics), 53 (1989), pp. 915–943. (Russian)
W. J. Blok [1976], Varieties of interior algebras, Dissertation, University of Amsterdam, 1976.
G. Boolos [1980], On systems of modal logic with provability interpretations, Theoria 46 (1980), pp. 7–18.
K. A. Bowen and D. H. J. de Jongh [1986], Some complete logics for branched time, Part I, Preprint, Institute for Language, Logic and Information, University of Amsterdam, 1986.
A. V. Chagrov [1981], Superintuitionistic fragments of non-normal modal logics, In: Mathematical Logic and Mathematical Linguistics, Kalinin, 1981, pp. 144–162. (Russian)
A. V. Chagrov [1982], On non-normal modal companions of Int, In: Automata, Algorithms, Languages, Kalinin, 1982, pp. 133–148. (Russian)
A. V. Chagrov [1983], On the polynomial finite model property of modal and intermediate logics, In: Mathematical Logic, Mathematical Linguistics and algorithm theory, Kalinin State University, Kalinin, 1983, pp. 75–83. (Russian)
A. V. Chagrov [1983a], On minimal modal companions of Int, Proceedings of the School-Seminar “Telavi-83”, Moscow, 1983, pp. 138–140. (Russian)
A. V. Chagrov [1985], On the complexity of propositional logics, In: Complexity Problems in Mathematical Logic, Kalinin State University, Kalinin, 1985, pp. 80–90. (Russian)
A. V. Chagrov [1985a], Varieties of logical matrices, Algebra and Logic 24 (1985), pp. 426–489. (Russian)
A. V. Chagrov [1987], Two new kinds of multimodal logics, In: Non-Classical Logics and Propositional Ascertainments, The Institute of Philosophy of the USSR Academy of Sciences, Moscow, 1987, pp. 48–59. (Russian)
A. V. Chagrov [1987a], Possibilities of the classical interpretations of intuitionistic logic, VIII ICLMPS, Abstracts, Vol. 5, Part 1, Moscow, 1987, pp. 237–239.
A. V. Chagrov [1989], On boundaries of the set of modal companions of intuitionistic logic, In: Non-Classical Logics and their Applications, The Institute of Philosophy of the USSR Academy of Sciences, Moscow, 1989, pp. 74–81. (Russian)
A. V. Chagrov [1990], Embeddings of intuitionistic logic into alternation propositional dynamic logic, Proceedings of X USSR Conference for Logic, Methodology and Philosophy of Science, Minsk, 1990, pp. 96–97. (Russian)
A. V. Chagrov [1990a], Undecidable properties of extensions of provability logic, Parts I and II, Algebra and Logic 29 (1990), pp. 350–367, pp. 614–623. (Russian)
A. V. Chagrov [1992], The cardinality of the set of maximal intermediate logics with the disjunction property is of continuum, to appear in Mathematical Zametki. (Russian)
A. V. Chagrov and M. V. Zakharyashchev [1990], Undecidability of Hallden-completeness of modal calculi, Preprint, Institute of Applied Mathematics of the USSR Academy of Sciences, No. 82, 1990. (Russian)
A. V. Chagrov and M. V. Zakharyashchev [1991], Undecidability of the disjunction property of propositional logics and other related problems, ITLI Prepublication Series, X-91-02, University of Amsterdam, 1991.
A. V. Chagrov and M. V. Zakharyashchev [1991a], Complexity problems in modal and intermediate logics, Manuscript, 1991.
L. V. Chagrova 1990, On the preservation of first-order properties under the embedding of intermediate logics in modal logics, Proceedings of X USSR Conference for Mathematical Logic, Alma-Ata, p.163. (Russian)
A. Chandra and L. Stockmeyer [1976], Alternation, Proceedings of 17th IEEE-FOCS, 1976, pp. 98–108.
K. Došen [1981], Minimal modal system in which Heyting and classical logics can be embedded, Publ. Institute of Mathematics (Beograd), (N.S.), 1981, 30 (44), pp. 41–54.
K. Došen [1990], Normal modal logics in which the Heyting prepositional calculus can be embedded, to appear in Proceedings of Heyting '88 Conference, Plenum Press.
K. Došen [1990a], The first axiomatization of a relevant logic, Report 9-90, Zentrum Philosophie und Wissenschaftstheorie, Universität Konstanz, 1990.
K. Došen [1990b], Modal translations in substructural logics, Report 10-90, Zentrum Philosophie und Wissenschaftstheorie, Universität Konstanz, 1990.
M. A. E. Dummett and E. J. Lemmon [1959], Modal logics between S4 and S5, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264.
L. L. Esakia [1974], On topological Kripke models, Mathematics Doklady, vol. 15 (1974), pp. 147–151.
L. L. Esakia [1979], On varieties of Grzegorczyk's algebras, In: Studies in Non-Classical Logics and Set Theory, Moscow, Nauka, 1979, pp. 257–287. (Russian)
L. L. Esakia [1979a], To the theory of modal and superintuitionistic systems, In: Logical Deduction, V. A. Smirnov (ed.), Moscow, Nauka, 1979, pp. 147–172. (Russian)
L. L. Esakia and V. Ju. Meskhi [1977], Five critical modal systems, Theoria, vol. 43 (1977), pp. 52–60.
K. Fine [1971], The logics containing S4.3, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 371–376.
K. Fine [1974], An ascending chain of S4 logics, Theoria, vol. 40 (1974), pp. 110–116.
K. Fine [1985], Logics containing K4. Part II, The Journal of Symbolic Logic, vol. 50 (1985), pp. 619–651.
J. -Y. Girard [1987], Linear logics, Theoretical Computer Science, vol. 50 (1987), pp. 1–102.
K. Gödel [1933], Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, Heft 4 (1933), pp. 39–40.
R. I. Goldblatt [1976], Metamathematics of modal logics, Reports on Mathematical Logic, vol. 6 (1976), pp. 41–77; vol. 7 (1976), pp. 21–52.
R. I. Goldblatt [1978], Arithmetical necessity, provability and intuitionistic logic, Theoria, vol. 44 (1978), pp. 36–46.
A. Grzegorczyk [1967], Some relational systems and the associated topological spaces, Fundamenta Mathematicae, vol. 60 (1967), pp. 223–231.
V. L. Gudovshchikov and V. V. Rybakov [1982], The disjunction property in modal logics, Proceedings of 8th USSR Conference “Logic and Methodology of Science”, Vilinus, 1982, pp. 35–36. (Russian)
I. Hacking [1963], What is strict implication?, The Journal of Symbolic Logic, vol. 28 (1963), pp. 57–71.
T. Hosoi [1967], On intermediate logics. I, The Journal of the Faculty of Science, University of Tokyo, Section I, vol. 14 (1967), pp. 293–312.
S. Jaśkowski [1936], Recherches sur le système de la logique intuitioniste, Actes du Cogrès Intern, de Phil. Scientifique. VI. Phil, des mathématiques, Act. Sc. et Ind 393, Paris, pp. 58–61.
A. Kolmogoroff [1932], Zur Deutung der intuitionistischen Logik, Mathematische Zeitschrift, Heft 35 (1932), pp. 58–65.
S. A. Kripke [1965], Semantical analysis of modal logic. II; Non-normal modal propositional calculi, In: The Theory of Models, J. W. Addison et al. (eds.), Proceedings of the 1963 International Symposium at Berkeley, Amsterdam, North-Holland, 1965, pp. 206–220.
A. V. Kuznetsov and A. Ju. Muravitsky [1977], Magari's algebras, Proceedings of 14th USSR Algebraic Conference, Part 2, Novosibirsk, 1977, pp. 105–106. (Russian)
A. V. Kuznetsov and A. Ju. Muravitsky [1980], Provability as modality, In: Actual Problems of Logic and Methodology of Science, Naukova Dumka, Kiev, 1980, pp. 193–230. (Russian)
A. V. Kuznetsov and A. Ju. Muravitsky [1986], On superintuitionistic logics as fragments of proof logic extensions, Studia Logica, vol. 45 (1986), pp. 77–99.
S. Maehara [1954], Eine Darstellung der intuitionistischen Logik in der klassischen, Nagoya Mathematical Journal, vol. 7 (1954), pp. 45–64.
D. Makinson [1966], There are infinitely many Diodorean modal functions, The Journal of Symbolic Logic, vol. 31 (1966), pp. 406–408.
L. L. Maksimova [1975], Pretabular extensions of the Lewis logic S4, Algebra and Logic, vol. 14 (1975), pp. 28–55. (Russian)
L. L. Maksimova [1975a], Modal logics of finite slices, Algebra and Logic, vol. 14 (1975), pp. 304–319. (Russian)
L. L. Maksimova [1979], Interpolation theorems in modal logics and amalgamated varieties of topo-Boolean algebras, Algebra and Logic, vol. 18 (1979), pp. 556–586. (Russian)
L. L. Maksimova [1982], Modal companions of Dummett's logic do not have the interpolation property, Algebra and Logic, vol. 21 (1982), pp. 690–694. (Russian)
L. L. Maksimova and V. V. Rybakov [1974], On the lattice of normal modal logics, Algebra and Logic, vol. 13 (1974), pp. 188–216. (Russian)
S. I. Mardaev [1984], On the number of pre-local-tabular superintuitionistic logics, Algebra and Logic, vol. 23 (1984), pp. 74–87. (Russian)
J. C. C. McKinsey and A. Tarski [1946], On closed elements in closure algebras, Annals of Mathematics, vol. 47 (1946), pp. 122–162.
J. C. C. McKinsey and A. Tarski [1948], Some theorems about the sentential calculi of Lewis and Heyting, The Journal of Symbolic Logic, vol. 13 (1948), pp. 1–15.
V. Ju. Meskhi [1974], Kripke semantics for modal systems containing S4.3, Mathematical Zametki, vol. 15 (1974), pp. 875–884. (Russian)
A. Yu. Muravitsky [1988], Embedding of extensions of Grzegorczyk's logic into extensions of provability logic, Proceedings of IV Soviet-Finland Symposium, for Mathematical Logic, Tbilisi, 1988, pp. 74–80. (Russian)
P. S. Novikov [1977], Constructive Mathematical Logic From a Point of View of Classical Logic, Moscow, Nauka, 1977. (Russian)
I. E. Orlov [1928], The calculus of compatibility of propositions, Mathematical Sbornik, vol. 35 (1928), pp. 263–286. (Russian)
R. Parikh [1978], The completeness of propositional dynamic logic/, Lecture Notes of Computer Science, vol. 64 (1978), pp. 403–415.
V. M. Popov [1986], The system of I. E. Orlov and relevant logic, In: Philosophical Problems of the History of Logic and Methodology of Science, Part I, Institute of Philosophy, USSR Academy of Sciences, Moscow, 1986, pp. 93–98. (Russian)
D. Prawitz and P. -E. Malmnäs [1968], A survey of some connections between classical, intuitionistic and minimal logic, In: Contributions to Mathematical Logic, H. A. Schmidt, et al. (eds.), North-Holland, Amsterdam, pp. 215–229.
H. Rasiowa and R. Sikorski [1963], The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw, 1963.
W. Rautenberg [1983], Modal tableau calculi and interpolation, The Journal of Philosophical Logic, vol. 12 (1983), pp. 403–423.
V. V. Rybakov [1976], Hereditarily finitely axiomatizable extensions of S4, Algebra and Logic, vol. 15 (1976), pp. 185–204. (Russian)
V. V. Rybakov [1977], Non-compact extensions of the logic S4, Algebra and Logic, vol. 16 (1977), pp. 472–490. (Russian)
V. V. Rybakov [1986], The decidability of admissibility of inference rules in the modal system Grz and intuitionistic logic, Izvestija of the USSR Academy of Sciences (mathematics), vol. 50 (1986), pp. 598–616. (Russian)
K. Schütte [1968], Vollständige Systeme modaler und intuitionistischen Logik, Springer, Berlin, 1968.
S. J. Scroggs [1951], Extensions of the Lewis system S5, The Journal of Symbolic Logic, vol. 16 (1951), pp. 112–120.
K. Segerberg [1971], An Essay in Classical Modal Logic, Philosophical Studies, Uppsala, 1971.
K. Segerberg [1976], The truth about some Post numbers, The Journal of Symbolic Logic, vol. 41 (1976), pp. 239–244.
K. Segerberg [1982], A completeness theorem in the modal logic of programs, Univers. Algebra and Appl. Pap. Stefan Banach Inst. Math. Cent. Semest. Febr. 15-June 9, 1978, Warsaw, 1982, vol. 9, pp. 31–46.
V. Ju. Shavrukov [1990], On two extensions of the provability logic GL, Mathematical Sbornik, vol. 181 (1990), pp. 240–255. (Russian)
V. B. Shekhtman [1977], On incomplete propositional logics, Soviet Mathematics Doklady, vol. 235 (1977), pp. 542–545. (Russian)
V. B. Shekhtman [1978], Undecidable superintuitionistic calculus, Soviet Mathematics Doklady, vol. 240 (1978), pp. 549–552. (Russian)
V. B. Shekhtman [1980], Topological models of propositional logics, Semiotics and Informatic Science, vol. 15 (1980), pp. 74–98. (Russian)
B. Sobociński [1964], Remarks about axiomatizations of certain modal systems, Notre Dame Journal of Formal Logic, vol. 5 (1964), pp. 71–80.
R. M. Solovay [1976], Provability interpretation of modal logic, Journal of Mathematics, vol. 25 (1976), pp. 287–304.
H. de Swart [1977], An intuitionistically plausible interpretation of intuitionistic logic, The Journal of Symbolic Logic, vol. 42 (1977), pp. 564–578.
S. K. Thomason [1972], Noncompactness in propositional modal logic, The Journal of Symbolic Logic, vol. 37 (1972), pp. 716–720.
A. Visser [1981], A propositional logic with explicit fixed points, Studia Logica, vol. 40 (1981), pp. 155–175.
M. V. Zakharyashchev [1983], On intermediate logics, Soviet Mathematics Doklady, vol. 27 (1983), pp. 274–277.
M. V. Zakharyashchev [1984], Normal modal logics containing S4, Soviet Mathematics Doklady, vol. 29 (1984), pp. 252–255.
M. V. Zakharyashchev [1987], On the disjunction property of intermediate and modal logics, Mathematical Zametki, vol. 42 (1987), pp. 729–738. (Russian)
M. V. Zakharyashchev [1988], Syntax and semantics of modal logics containing S4, Algebra and Logic, vol. 27 (1988), pp. 659–689. (Russian)
M. V. Zakharyashchev [1989], Syntax and semantics of intermediate logics, Algebra and Logic, vol. 28 (1989), pp. 402–429. (Russian)
M. V. Zakharyashchev [1989a], Modal companions of intermediate logics: syntax, semantics and preservation theorems, Mathematical Sbornik, vol. 180 (1989), pp. 1415–1427. (Russian)
M. V. Zakharyashchev [1990], The greatest extension of S4 in which intuitionistic logic is embeddable, Manuscript, 1990.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chagrov, A., Zakharyashchev, M. Modal companions of intermediate propositional logics. Studia Logica 51, 49–82 (1992). https://doi.org/10.1007/BF00370331
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370331