dblp.uni-trier.dewww.uni-trier.de

J. C. C. McKinsey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1953
11 J. C. C. McKinsey: Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. J. Symb. Log. 18(2): 109-113 (1953)
1948
10 J. C. C. McKinsey, Alfred Tarski: Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. 13(1): 1-15 (1948)
1945
9 J. C. C. McKinsey: On the Syntactical Construction of Systems of Modal Logic. J. Symb. Log. 10(3): 83-94 (1945)
1944
8 J. C. C. McKinsey: On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. J. Symb. Log. 9(2): 42-45 (1944)
1943
7 J. C. C. McKinsey: The Decision Problem for Some Classes of Sentences Without Quantifiers. J. Symb. Log. 8(2): 61-76 (1943)
1942
6 J. C. C. McKinsey: Seventh Meeting of the Association for Symbolic Logic. J. Symb. Log. 7(1): 47-48 (1942)
1941
5 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): 117-134 (1941)
1940
4 J. C. C. McKinsey: Proof That There are Infinitely Many Modalities in Lewis's System S2. J. Symb. Log. 5(3): 110-112 (1940)
3 J. C. C. McKinsey: Postulates for the Calculus of Binary Relations. J. Symb. Log. 5(3): 85-97 (1940)
2 J. C. C. McKinsey: A Correction to Lewis and Langford's Symbolic Logic. J. Symb. Log. 5(4): 149 (1940)
1939
1 J. C. C. McKinsey: Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. J. Symb. Log. 4(4): 155-158 (1939)

Coauthor Index

1Alfred Tarski [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)