Skip to main content
SpringerLink
Log in

Modal companions of intermediate propositional logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • S. N. Artemov [1986], Superintuitonistic logics having provability interpretation, Soviet Mathematics Doklady 291 (1986), pp. 1289–1291. (Russian)

    Google Scholar 

  • S. N. Artemov [1987], On logical axiomatization of provabiity, VIII ICLMPS, Abstracts, Vol. 1, Moscow, 1987, pp. 7–10.

    Google Scholar 

  • L. D. Beklemishev [1989], On classification of propositional provability logics, Izvestija of the USSR Academy of Sciences (mathematics), 53 (1989), pp. 915–943. (Russian)

    Google Scholar 

  • 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.

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Google Scholar 

  • A. V. Chagrov [1985a], Varieties of logical matrices, Algebra and Logic 24 (1985), pp. 426–489. (Russian)

    Google Scholar 

  • 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)

    Google Scholar 

  • A. V. Chagrov [1987a], Possibilities of the classical interpretations of intuitionistic logic, VIII ICLMPS, Abstracts, Vol. 5, Part 1, Moscow, 1987, pp. 237–239.

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • L. L. Esakia [1974], On topological Kripke models, Mathematics Doklady, vol. 15 (1974), pp. 147–151.

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Google Scholar 

  • L. L. Esakia and V. Ju. Meskhi [1977], Five critical modal systems, Theoria, vol. 43 (1977), pp. 52–60.

    Google Scholar 

  • K. Fine [1971], The logics containing S4.3, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 371–376.

    Google Scholar 

  • K. Fine [1974], An ascending chain of S4 logics, Theoria, vol. 40 (1974), pp. 110–116.

    Google Scholar 

  • K. Fine [1985], Logics containing K4. Part II, The Journal of Symbolic Logic, vol. 50 (1985), pp. 619–651.

    Google Scholar 

  • J. -Y. Girard [1987], Linear logics, Theoretical Computer Science, vol. 50 (1987), pp. 1–102.

    Google Scholar 

  • 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.

    Google Scholar 

  • R. I. Goldblatt [1978], Arithmetical necessity, provability and intuitionistic logic, Theoria, vol. 44 (1978), pp. 36–46.

    Google Scholar 

  • A. Grzegorczyk [1967], Some relational systems and the associated topological spaces, Fundamenta Mathematicae, vol. 60 (1967), pp. 223–231.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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)

    Google Scholar 

  • 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.

    Google Scholar 

  • S. Maehara [1954], Eine Darstellung der intuitionistischen Logik in der klassischen, Nagoya Mathematical Journal, vol. 7 (1954), pp. 45–64.

    Google Scholar 

  • D. Makinson [1966], There are infinitely many Diodorean modal functions, The Journal of Symbolic Logic, vol. 31 (1966), pp. 406–408.

    Google Scholar 

  • L. L. Maksimova [1975], Pretabular extensions of the Lewis logic S4, Algebra and Logic, vol. 14 (1975), pp. 28–55. (Russian)

    Google Scholar 

  • L. L. Maksimova [1975a], Modal logics of finite slices, Algebra and Logic, vol. 14 (1975), pp. 304–319. (Russian)

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Google Scholar 

  • S. I. Mardaev [1984], On the number of pre-local-tabular superintuitionistic logics, Algebra and Logic, vol. 23 (1984), pp. 74–87. (Russian)

    Google Scholar 

  • J. C. C. McKinsey and A. Tarski [1946], On closed elements in closure algebras, Annals of Mathematics, vol. 47 (1946), pp. 122–162.

    Google Scholar 

  • 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.

    Google Scholar 

  • V. Ju. Meskhi [1974], Kripke semantics for modal systems containing S4.3, Mathematical Zametki, vol. 15 (1974), pp. 875–884. (Russian)

    Google Scholar 

  • 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)

    Google Scholar 

  • I. E. Orlov [1928], The calculus of compatibility of propositions, Mathematical Sbornik, vol. 35 (1928), pp. 263–286. (Russian)

    Google Scholar 

  • R. Parikh [1978], The completeness of propositional dynamic logic/, Lecture Notes of Computer Science, vol. 64 (1978), pp. 403–415.

    Google Scholar 

  • 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)

    Google Scholar 

  • 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.

    Google Scholar 

  • H. Rasiowa and R. Sikorski [1963], The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw, 1963.

    Google Scholar 

  • W. Rautenberg [1983], Modal tableau calculi and interpolation, The Journal of Philosophical Logic, vol. 12 (1983), pp. 403–423.

    Google Scholar 

  • V. V. Rybakov [1976], Hereditarily finitely axiomatizable extensions of S4, Algebra and Logic, vol. 15 (1976), pp. 185–204. (Russian)

    Google Scholar 

  • V. V. Rybakov [1977], Non-compact extensions of the logic S4, Algebra and Logic, vol. 16 (1977), pp. 472–490. (Russian)

    Google Scholar 

  • 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)

    Google Scholar 

  • K. Schütte [1968], Vollständige Systeme modaler und intuitionistischen Logik, Springer, Berlin, 1968.

    Google Scholar 

  • S. J. Scroggs [1951], Extensions of the Lewis system S5, The Journal of Symbolic Logic, vol. 16 (1951), pp. 112–120.

    Google Scholar 

  • K. Segerberg [1971], An Essay in Classical Modal Logic, Philosophical Studies, Uppsala, 1971.

    Google Scholar 

  • K. Segerberg [1976], The truth about some Post numbers, The Journal of Symbolic Logic, vol. 41 (1976), pp. 239–244.

    Google Scholar 

  • 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.

    Google Scholar 

  • V. Ju. Shavrukov [1990], On two extensions of the provability logic GL, Mathematical Sbornik, vol. 181 (1990), pp. 240–255. (Russian)

    Google Scholar 

  • V. B. Shekhtman [1977], On incomplete propositional logics, Soviet Mathematics Doklady, vol. 235 (1977), pp. 542–545. (Russian)

    Google Scholar 

  • V. B. Shekhtman [1978], Undecidable superintuitionistic calculus, Soviet Mathematics Doklady, vol. 240 (1978), pp. 549–552. (Russian)

    Google Scholar 

  • V. B. Shekhtman [1980], Topological models of propositional logics, Semiotics and Informatic Science, vol. 15 (1980), pp. 74–98. (Russian)

    Google Scholar 

  • B. Sobociński [1964], Remarks about axiomatizations of certain modal systems, Notre Dame Journal of Formal Logic, vol. 5 (1964), pp. 71–80.

    Google Scholar 

  • R. M. Solovay [1976], Provability interpretation of modal logic, Journal of Mathematics, vol. 25 (1976), pp. 287–304.

    Google Scholar 

  • H. de Swart [1977], An intuitionistically plausible interpretation of intuitionistic logic, The Journal of Symbolic Logic, vol. 42 (1977), pp. 564–578.

    Google Scholar 

  • S. K. Thomason [1972], Noncompactness in propositional modal logic, The Journal of Symbolic Logic, vol. 37 (1972), pp. 716–720.

    Google Scholar 

  • A. Visser [1981], A propositional logic with explicit fixed points, Studia Logica, vol. 40 (1981), pp. 155–175.

    Google Scholar 

  • M. V. Zakharyashchev [1983], On intermediate logics, Soviet Mathematics Doklady, vol. 27 (1983), pp. 274–277.

    Google Scholar 

  • M. V. Zakharyashchev [1984], Normal modal logics containing S4, Soviet Mathematics Doklady, vol. 29 (1984), pp. 252–255.

    Google Scholar 

  • M. V. Zakharyashchev [1987], On the disjunction property of intermediate and modal logics, Mathematical Zametki, vol. 42 (1987), pp. 729–738. (Russian)

    Google Scholar 

  • M. V. Zakharyashchev [1988], Syntax and semantics of modal logics containing S4, Algebra and Logic, vol. 27 (1988), pp. 659–689. (Russian)

    Google Scholar 

  • M. V. Zakharyashchev [1989], Syntax and semantics of intermediate logics, Algebra and Logic, vol. 28 (1989), pp. 402–429. (Russian)

    Google Scholar 

  • M. V. Zakharyashchev [1989a], Modal companions of intermediate logics: syntax, semantics and preservation theorems, Mathematical Sbornik, vol. 180 (1989), pp. 1415–1427. (Russian)

    Google Scholar 

  • M. V. Zakharyashchev [1990], The greatest extension of S4 in which intuitionistic logic is embeddable, Manuscript, 1990.

Download references

Author information

Authors and Affiliations

  1. Tver State University, Zhelyabova 33, 170013, Tver, USSR

    Alexander Chagrov & Michael Zakharyashchev

  2. Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, 125047, Moscow, USSR

    Alexander Chagrov & Michael Zakharyashchev

Authors
  1. Alexander Chagrov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Zakharyashchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370331

Keywords

Search

Navigation