Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. - J. C. C. McKinsey (J. Symb. Log., 1939)

Postulates for the Calculus of Binary Relations. - J. C. C. McKinsey (J. Symb. Log., 1940)

Proof That There are Infinitely Many Modalities in Lewis's System S2. - J. C. C. McKinsey (J. Symb. Log., 1940)

A Correction to Lewis and Langford's Symbolic Logic. - J. C. C. McKinsey (J. Symb. Log., 1940)

A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology. - J. C. C. McKinsey (J. Symb. Log., 1941)

Seventh Meeting of the Association for Symbolic Logic. - J. C. C. McKinsey (J. Symb. Log., 1942)

The Decision Problem for Some Classes of Sentences Without Quantifiers. - J. C. C. McKinsey (J. Symb. Log., 1943)

On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. - J. C. C. McKinsey (J. Symb. Log., 1944)

On the Syntactical Construction of Systems of Modal Logic. - J. C. C. McKinsey (J. Symb. Log., 1945)

Some Theorems About the Sentential Calculi of Lewis and Heyting. - J. C. C. McKinsey; Alfred Tarski (J. Symb. Log., 1948)

Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. - J. C. C. McKinsey (J. Symb. Log., 1953)