John T. Kearns

According to our database1, John T. Kearns authored at least 13 papers between 1967 and 1997.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
Propositional Logic of Supposition and Assertion.
Notre Dame Journal of Formal Logic, 1997

Thinking Machines: Some Fundamental Confusions.
Minds and Machines, 1997

1989
Lesniewski's Strategy and Modal Logic.
Notre Dame Journal of Formal Logic, 1989

1981
A more satisfactory description of the semantics of justification.
Notre Dame Journal of Formal Logic, 1981

Modal Semantics without Possible Worlds.
J. Symb. Log., 1981

1979
The Strong Completeness of a System for Kleene's Three-Valued Logic.
Math. Log. Q., 1979

1978
Three substitution-instance interpretations.
Notre Dame Journal of Formal Logic, 1978

1977
The Logic of Calculation.
Math. Log. Q., 1977

1973
The completeness of combinatory logic with discriminators.
Notre Dame Journal of Formal Logic, 1973

1969
Two views of variables.
Notre Dame Journal of Formal Logic, 1969

Combinatory Logic with Discriminators.
J. Symb. Log., 1969

1968
The logical concept of existence.
Notre Dame Journal of Formal Logic, 1968

1967
The contribution of Leśniewski.
Notre Dame Journal of Formal Logic, 1967


  Loading...