# John T. Kearns

According to our database

Collaborative distances:

^{1}, John T. Kearns authored at least 13 papers between 1967 and 1997.Collaborative distances:

## 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