John T. Kearns

13 papers Journal 13

Year	Rank	Type	Title / Venue / Authors
1997	J	`jnl`	Propositional Logic of Supposition and Assertion. Notre Dame J. Formal Log. John T. Kearns
1997	J	`jnl`	Thinking Machines: Some Fundamental Confusions. Minds Mach. John T. Kearns
1989	J	`jnl`	Lesniewski's Strategy and Modal Logic. Notre Dame J. Formal Log. John T. Kearns
1981	J	`jnl`	A more satisfactory description of the semantics of justification. Notre Dame J. Formal Log. John T. Kearns
1981	J	`jnl`	Modal Semantics without Possible Worlds. J. Symb. Log. John T. Kearns
1979	J	`jnl`	The Strong Completeness of a System for Kleene's Three-Valued Logic. Math. Log. Q. John T. Kearns
1978	J	`jnl`	Three substitution-instance interpretations. Notre Dame J. Formal Log. John T. Kearns
1977	J	`jnl`	The Logic of Calculation. Math. Log. Q. John T. Kearns
1973	J	`jnl`	The completeness of combinatory logic with discriminators. Notre Dame J. Formal Log. John T. Kearns
1969	J	`jnl`	Combinatory Logic with Discriminators. J. Symb. Log. John T. Kearns
1969	J	`jnl`	Two views of variables. Notre Dame J. Formal Log. John T. Kearns
1968	J	`jnl`	The logical concept of existence. Notre Dame J. Formal Log. John T. Kearns
1967	J	`jnl`	The contribution of Leśniewski. Notre Dame J. Formal Log. John T. Kearns