William H. Hanson

Publication Activity (10 Years)

Years Active: 1963-2018
Publications (10 Years): 1

Top Topics

Universally Quantified

Inference Rules

Top Venues

Notre Dame J. Formal Log.

Publications

William H. Hanson
Actualism, Serious Actualism, and Quantified Modal Logic. Notre Dame J. Formal Log. 59 (2) (2018)
William H. Hanson
Ray on Tarski on Logical Consequence. J. Philos. Log. 28 (6) (1999)
William H. Hanson, James Hawthorne
Validity in intensional languages: a new approach. Notre Dame J. Formal Log. 26 (1) (1985)
William H. Hanson
First-degree entailments and information. Notre Dame J. Formal Log. 21 (4) (1980)
William H. Hanson
On Formalizing the Distinction between Logical and Factual Truth. J. Symb. Log. 31 (3) (1966)
William H. Hanson
On some Alleged Decision Procedures for S4. J. Symb. Log. 31 (4) (1966)
William H. Hanson
Ternary Threshold Logic. IEEE Trans. Electron. Comput. 12 (3) (1963)
William H. Hanson
Threshold-Logic Synthesis by Algebraic Methods. IEEE Trans. Electron. Comput. 12 (4) (1963)