J. C. C. McKinsey

According to our database, J. C. C. McKinsey authored at least 11 papers between 1939 and 1953.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

1953

Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.

J. C. C. McKinsey

J. Symb. Log., 1953

1948

Some Theorems About the Sentential Calculi of Lewis and Heyting.

J. C. C. McKinsey, Alfred Tarski

J. Symb. Log., 1948

1945

On the Syntactical Construction of Systems of Modal Logic.

J. C. C. McKinsey

J. Symb. Log., 1945

1944

On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.

J. C. C. McKinsey

J. Symb. Log., 1944

1943

The Decision Problem for Some Classes of Sentences Without Quantifiers.

J. C. C. McKinsey

J. Symb. Log., 1943

1942

Seventh Meeting of the Association for Symbolic Logic.

J. C. C. McKinsey

J. Symb. Log., 1942

1941

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

1940

A Correction to Lewis and Langford's Symbolic Logic.

J. C. C. McKinsey

J. Symb. Log., 1940

Proof That There are Infinitely Many Modalities in Lewis's System S₂.

J. C. C. McKinsey

J. Symb. Log., 1940

Postulates for the Calculus of Binary Relations.

J. C. C. McKinsey

J. Symb. Log., 1940

1939

Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.

J. C. C. McKinsey

J. Symb. Log., 1939