Modal companions of intermediate propositional logics

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

[1]  C. Smoryński,et al.  Provability as Modality , 1985 .

[2]  Schiller Joe Scroggs.  Extensions of the Lewis System S5 , 1951, J. Symb. Log..

[3]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[4]  Rohit Parikh,et al.  The Completeness of Propositional Dynamic Logic , 1978, MFCS.

[5]  J. G. Anderson.  Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable , 1972 .

[6]  R. Goldblatt.  Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[7]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[8]  A. Kolmogoroff.  Zur Deutung der intuitionistischen Logik , 1932 .

[9]  Andrzej Grzegorczyk.  Some relational systems and the associated topological spaces , 1967 .

[10]  Shôji Maehara,et al.  Eine Darstellung der Intuitionistischen Logik in der Klassischen , 1954, Nagoya Mathematical Journal.

[11]  L. Maksimova,et al.  A lattice of normal modal logics , 1974 .

[12]  Krister Segerberg.  The Truth about Some Post Numbers , 1976, J. Symb. Log..

[13]  Dag Prawitz,et al.  A survey of some connections between classical, intuitionistic and minimal logic , 1968 .

[14]  Steven K. Thomason,et al.  Noncompactness in propositional modal logic , 1972, Journal of Symbolic Logic.

[15]  E. Lemmon,et al.  Modal Logics Between S 4 and S 5 , 1959 .

[16]  Ian Hacking,et al.  What is strict implication? , 1963, Journal of Symbolic Logic.

[17]  K. Fine.  Logics containing K4. Part II , 1985, Journal of Symbolic Logic.

[18]  K. Dosen.  Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded , 1990 .

[19]  David Makinson,et al.  There are infinitely many Diodorean modal functions , 1966, Journal of Symbolic Logic.

[20]  Kit Fine,et al.  Logics containing K4. Part I , 1974, Journal of Symbolic Logic.

[21]  V. V. Rybakov.  Noncompact extensions of the logicS4 , 1977 .

[22]  S. C. Kleene.  Review: Stanislaw Jaskowski, Recherches sur le Systeme de la Logique Intuitioniste , 1937 .

[23]  S. I. Mardaev,et al.  Number of prelocally table superintuitionistic propositional logics , 1984 .

[24]  Alexei Yu. Muravitsky,et al.  On superintuitionistic logics as fragments of proof logic extensions , 1986, Stud Logica.

[25]  Kit Fine,et al.  The Logics Containing S 4.3 , 1971 .

[26]  Harrie C. M. de Swart,et al.  An Intuitionistically Plausible Interpretation of Intuitionistic Logic , 1977, J. Symb. Log..

[27]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[28]  W. Blok.  Varieties of interior algebras , 1976 .

[29]  Wolfgang Rautenberg,et al.  Modal tableau calculi and interpolation , 1983, J. Philos. Log..

[30]  T. Hosoi.  On intermediate logics, II , 1967 .

[31]  L. Maksimova.  Pretabular extensions of LewisS4 , 1975 .

[32]  L. Maksimova.  Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras , 1979 .

[33]  V. V. Rybakov.  Hereditarily finitely axiomatizable extensions of logic S4 , 1976 .

[34]  A. V. Chagrov.  Undecidable properties of extensions of a provability logic. II , 1990 .

[35]  Boleslaw Sobocinski.  Remarks about axiomatizations of certain modal systems , 1964, Notre Dame J. Formal Log..

[36]  R. Solovay.  Provability interpretations of modal logic , 1976 .

[37]  細井 勉,et al.  On intermediate logics , 1970 .

[38]  M. V. Zakhar'yashchev.  Syntax and semantics of modal logics containing S4 , 1988 .

[39]  Michael Dummett,et al.  Modal Logics Between S4 and S5 , 1967 .

[40]  L. L. Maksimova.  Absence of the interpolation property in the consistent normal modal extensions of the dummett logic , 1982 .

[41]  A. Yu. Muravitskii.  Extensions of the provability logic , 1983 .

[42]  A. Chagrov,et al.  Varieties of logical matrices , 1985 .

[43]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[44]  K. Segerberg.  A completeness theorem in the modal logic of programs , 1982 .

[45]  Kurt Schütte,et al.  Vollständige Systeme modaler und intuitionistischer Logik , 1968 .

[46]  Kosta Dosen,et al.  Modal translations in substructural logics , 1992, J. Philos. Log..

[47]  Albert Visser,et al.  A propositional logic with explicit fixed points , 1981 .

[48]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[49]  A. Chagrov.  Possibilities of the classical interpretations of intuitionistic logic , 1987 .

[50]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .