J. C. C. McKinsey

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
1953 J jnl
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.
J. Symb. Log.
J. C. C. McKinsey
1948 J jnl
Some Theorems About the Sentential Calculi of Lewis and Heyting.
J. Symb. Log.
J. C. C. McKinsey, Alfred Tarski
1945 J jnl
On the Syntactical Construction of Systems of Modal Logic.
J. Symb. Log.
J. C. C. McKinsey
1944 J jnl
On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.
J. Symb. Log.
J. C. C. McKinsey
1943 J jnl
The Decision Problem for Some Classes of Sentences Without Quantifiers.
J. Symb. Log.
J. C. C. McKinsey
1942 J jnl
Seventh Meeting of the Association for Symbolic Logic.
J. Symb. Log.
J. C. C. McKinsey
1941 J jnl
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.
J. Symb. Log.
J. C. C. McKinsey
1940 J jnl
A Correction to Lewis and Langford's Symbolic Logic.
J. Symb. Log.
J. C. C. McKinsey
1940 J jnl
Postulates for the Calculus of Binary Relations.
J. Symb. Log.
J. C. C. McKinsey
1940 J jnl
Proof That There are Infinitely Many Modalities in Lewis's System S
J. Symb. Log.
J. C. C. McKinsey
1939 J jnl
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
J. Symb. Log.
J. C. C. McKinsey