Semantical Analysis of Intuitionistic Logic I

[1]  P. J. Cohen,et al.  THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[3]  Georg Kreisel,et al.  On weak completeness of intuitionistic predicate logic , 1962, Journal of Symbolic Logic.

[4]  Saul A. Kripke.  The Undecidability of Monadic Modal Quantification Theory , 1962 .

[5]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[6]  Georg Kreisel,et al.  A remark on free choice sequences and the topological completeness proofs , 1958, Journal of Symbolic Logic.

[7]  S. Kuroda.  Intuitionistische Untersuchungen der formalistischen Logik , 1951, Nagoya Mathematical Journal.