J. C. C. McKinsey

发表

Fitch Frederic B.. Note on modal functions. The journal of symbolic logic, vol. 4 (1939), pp. 115–116.

J. C. C. McKinsey, 1940 .

Ville's Example of a Game Without a Strategic Saddle-Point

J. C. C. McKinsey, Melvin Dresher, 1948 .

Review: Gustav Bergmann, A Syntactical Characterization of S5

J. C. C. McKinsey, 1950 .

Bergmann Gustav. A syntactical characterization of S5. The journal of symbolic logic, vol. 14 (1949), pp. 173–174.

J. C. C. McKinsey, 1950 .

Introduction to the Theory of Games.

Irwin D. J. Bross, J. C. C. McKinsey, 1953 .

On the Syntactical Construction of Systems of Modal Logic

J. C. C. McKinsey, 1945, J. Symb. Log..

Proof That There are Infinitely Many Modalities in Lewis's System S2

J. C. C. McKinsey, 1940, J. Symb. Log..

Martin R. M.. On virtual classes and real numbers. The journal of symbolic logic, vol. 15 (1950), pp. 131–134.

J. C. C. McKinsey, 1951 .

Dotterer Ray H.. A generalization of the antilogism. The journal of symbolic logic, vol. 6 (1941), pp. 90–95.

J. C. C. McKinsey, 1942 .

Construction of Systems of Modal Logic

J. C. C. McKinsey, 1949 .

Goodstein R. L.. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 (1945), pp. 401–434.

J. C. C. McKinsey, 1946 .

Outlines of a Formal Theory of Value, I

Patrick Suppes, Donald Davidson, J. C. C. McKinsey, 1955, Philosophy of Science.

Martin R. M.. A homogeneous system for formal logic. The journal of symbolic logic, vol. 8 (1943), pp. 1–23.

J. C. C. McKinsey, 1943 .

Review: C. West Churchman, Elements of Logic and Formal Science

J. C. C. McKinsey, 1941 .

A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology

J. C. C. McKinsey, J. McKinsey, 1941, J. Symb. Log..

Review: R. M. Martin, On Virtual Classes and Real Numbers

J. C. C. McKinsey, 1951 .

The decision problem for some classes of sentences without quantifiers

J. C. C. McKinsey, J. McKinsey, 1943, Journal of Symbolic Logic.

Some theorems about the sentential calculi of Lewis and Heyting

Alfred Tarski, J. C. C. McKinsey, J. McKinsey, 1948, The Journal of Symbolic Logic.

Duthie William D.. Boolean functions of bounded variation. Duke mathematical journal, vol. 4 (1938), pp. 600–606.

J. C. C. McKinsey, 1938 .

Postulates for the Calculus of Binary Relations

J. C. C. McKinsey, 1940, J. Symb. Log..

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

J. C. C. McKinsey, 1944, J. Symb. Log..

Curry Haskell B.. Outlines of a formalist philosophy of mathematics . Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 pp.

J. C. C. McKinsey, 1953 .

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

J. C. C. McKinsey, 1953, J. Symb. Log..

A Correction to Lewis and Langford's Symbolic Logic

J. C. C. McKinsey, 1940, J. Symb. Log..

Seventh Meeting of the Association for Symbolic Logic

J. C. C. McKinsey, 1942, J. Symb. Log..

The mathematical analysis of logic

George Boole, J. C. C. McKinsey, G. Boole, 1948 .

Byrne Lee. Two brief formulations of Boolean algebra. Bulletin of the American Mathematical Society, vol. 52 (1946), pp. 269–272.

J. C. C. McKinsey, 1946 .

Proof of the independence of the primitive symbols of Heyting's calculus of propositions

J. C. C. McKinsey, J. McKinsey, 1939, Journal of Symbolic Logic.

Introduction to the Theory of Games

Steven Vajda, Steven Vajda, J. C. C. McKinsey, 1953 .

Review: A. F. Peters, R. M. Hare on Imperative Sentences: A Criticism

J. C. C. McKinsey, 1950 .

The Contrary-to-Fact Conditional.

Roderick M. Chisholm, J. C. C. McKinsey, J. McKinsey, 1947 .

Rival Principles of Causal Explanation in Psychology

J. C. C. McKinsey, J. McKinsey, H. M. Johnson, 1939 .

On the Logic of Imperatives

J. C. C. McKinsey, J. McKinsey, A. Hofstadter, 1939, Philosophy of Science.