We stand with Ukraine  

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 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Propositional Logic of Supposition and Assertion.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1997

Thinking Machines: Some Fundamental Confusions.
[BibTeX]
[DOI]
John T. Kearns
Minds Mach., 1997

1989
Lesniewski's Strategy and Modal Logic.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1989

1981
A more satisfactory description of the semantics of justification.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1981

Modal Semantics without Possible Worlds.
[BibTeX]
[DOI]
John T. Kearns
J. Symb. Log., 1981

1979
The Strong Completeness of a System for Kleene's Three-Valued Logic.
[BibTeX]
[DOI]
John T. Kearns
Math. Log. Q., 1979

1978
Three substitution-instance interpretations.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1978

1977
The Logic of Calculation.
[BibTeX]
[DOI]
John T. Kearns
Math. Log. Q., 1977

1973
The completeness of combinatory logic with discriminators.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1973

1969
Two views of variables.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1969

Combinatory Logic with Discriminators.
[BibTeX]
[DOI]
John T. Kearns
J. Symb. Log., 1969

1968
The logical concept of existence.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1968

1967
The contribution of Leśniewski.
[BibTeX]
[DOI]
John T. Kearns
Notre Dame J. Formal Log., 1967


  Loading...