J. C. C. McKinsey
J. C. C. McKinsey
- John Charles Chenoweth McKinsey (30 April 1908 – 26 October 1953), usually cited as J. C. C. McKinsey**, was an American mathematician known for his work on [[game-theory]] and mathematical logic, particularly, modal logic.
Biography McKinsey received B.S. and M.S. degrees from New York University and a Ph.D. degree in 1936 from the University of California, Berkeley. He was a Blumenthal Research Fellow at New York University from 1936 to 1937 and a Guggenheim Fellow from 1942 to 1943. He also taught at Montana State College, and in Nevada, then Oklahoma, and in 1947 he went "to a research group at Douglas Aircraft Corporation" that later became the RAND Corporation.
From 1951 he taught at Stanford University, where he was later appointed a Full Professor in the Department of Philosophy, ### Papers McKinsey, J. C. C. (1941). "A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology." The Journal of Symbolic Logic. 6 (4), 117–124. [doi:10.2307/2267105](https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/solution-of-the-decision-problem-for-the-lewis-systems-s2-and-s4-with-an-application-to-topology/B7AC32AC3E6F43D67B64621DC14B9D7D) #### With Alfred Tarski McKinsey, J. C. C., Tarski, Alfred (1944). "The algebra of topology." Annals of mathematics, 141–191. https://doi.org/10.2307/1969080. McKinsey, J. C., Tarski, Alfred (1946). "On closed elements in closure algebras." Annals of mathematics, 122–162. https://doi.org/10.2307/1969038.