| 1953 |
|---|
| 11 | | J. C. C. McKinsey:
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.
J. Symb. Log. 18(2): 109-113 (1953) |
| 1948 |
|---|
| 10 | | J. C. C. McKinsey,
Alfred Tarski:
Some Theorems About the Sentential Calculi of Lewis and Heyting.
J. Symb. Log. 13(1): 1-15 (1948) |
| 1945 |
|---|
| 9 | | J. C. C. McKinsey:
On the Syntactical Construction of Systems of Modal Logic.
J. Symb. Log. 10(3): 83-94 (1945) |
| 1944 |
|---|
| 8 | | J. C. C. McKinsey:
On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.
J. Symb. Log. 9(2): 42-45 (1944) |
| 1943 |
|---|
| 7 | | J. C. C. McKinsey:
The Decision Problem for Some Classes of Sentences Without Quantifiers.
J. Symb. Log. 8(2): 61-76 (1943) |
| 1942 |
|---|
| 6 | | J. C. C. McKinsey:
Seventh Meeting of the Association for Symbolic Logic.
J. Symb. Log. 7(1): 47-48 (1942) |
| 1941 |
|---|
| 5 | | J. C. C. McKinsey:
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.
J. Symb. Log. 6(4): 117-134 (1941) |
| 1940 |
|---|
| 4 | | J. C. C. McKinsey:
Proof That There are Infinitely Many Modalities in Lewis's System S2.
J. Symb. Log. 5(3): 110-112 (1940) |
| 3 | | J. C. C. McKinsey:
Postulates for the Calculus of Binary Relations.
J. Symb. Log. 5(3): 85-97 (1940) |
| 2 | | J. C. C. McKinsey:
A Correction to Lewis and Langford's Symbolic Logic.
J. Symb. Log. 5(4): 149 (1940) |
| 1939 |
|---|
| 1 | | J. C. C. McKinsey:
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
J. Symb. Log. 4(4): 155-158 (1939) |
