Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

J. C. C. McKinsey

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1950 – 1959

see FAQ

What is the meaning of the colors in the publication lists?

1953
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey53
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey53
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)

1940 – 1949

see FAQ

What is the meaning of the colors in the publication lists?

1948
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinseyT48
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinseyT48
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
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey45
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey45
J. C. C. McKinsey:
On the Syntactical Construction of Systems of Modal Logic. J. Symb. Log. 10(3): 83-94 (1945)
1944
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey44
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey44
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
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey43
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey43
J. C. C. McKinsey:
The Decision Problem for Some Classes of Sentences Without Quantifiers. J. Symb. Log. 8(2): 61-76 (1943)
1942
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey42
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey42
J. C. C. McKinsey:
Seventh Meeting of the Association for Symbolic Logic. J. Symb. Log. 7(1): 47-48 (1942)
1941
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey41
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey41
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
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey40
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey40
J. C. C. McKinsey:
Postulates for the Calculus of Binary Relations. J. Symb. Log. 5(3): 85-97 (1940)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey40a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey40a
J. C. C. McKinsey:
Proof That There are Infinitely Many Modalities in Lewis's System S₂. J. Symb. Log. 5(3): 110-112 (1940)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey40b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey40b
J. C. C. McKinsey:
A Correction to Lewis and Langford's Symbolic Logic. J. Symb. Log. 5(4): 149 (1940)

1930 – 1939

see FAQ

What is the meaning of the colors in the publication lists?

1939
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/McKinsey39
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/McKinsey39
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

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.