J. C. C. McKinsey

Publication Activity (10 Years)

Years Active: 1939-1953
Publications (10 Years): 0

Publications

J. C. C. McKinsey
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. J. Symb. Log. 18 (2) (1953)
J. C. C. McKinsey, Alfred Tarski
Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. 13 (1) (1948)
J. C. C. McKinsey
On the Syntactical Construction of Systems of Modal Logic. J. Symb. Log. 10 (3) (1945)
J. C. C. McKinsey
On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. J. Symb. Log. 9 (2) (1944)
J. C. C. McKinsey
The Decision Problem for Some Classes of Sentences Without Quantifiers. J. Symb. Log. 8 (2) (1943)
J. C. C. McKinsey
Seventh Meeting of the Association for Symbolic Logic. J. Symb. Log. 7 (1) (1942)
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) (1941)
J. C. C. McKinsey
A Correction to Lewis and Langford's Symbolic Logic. J. Symb. Log. 5 (4) (1940)
J. C. C. McKinsey
Postulates for the Calculus of Binary Relations. J. Symb. Log. 5 (3) (1940)
J. C. C. McKinsey
. J. Symb. Log. 5 (3) (1940)
J. C. C. McKinsey
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. J. Symb. Log. 4 (4) (1939)