Harold T. Hodes

Publication Activity (10 Years)

Years Active: 1978-2022
Publications (10 Years): 3

Top Topics

Sequent Calculus

Top Venues

J. Philos. Log.

Notre Dame J. Formal Log.

Publications

Harold T. Hodes
Cut-conditions on sets of multiple-alternative inferences. Math. Log. Q. 68 (1) (2022)
Harold T. Hodes
One-Step Modal Logics, Intuitionistic and Classical, Part 2. J. Philos. Log. 50 (5) (2021)
Harold T. Hodes
One-Step Modal Logics, Intuitionistic and Classical, Part 1. J. Philos. Log. 50 (5) (2021)
Harold T. Hodes
Why Ramify? Notre Dame J. Formal Log. 56 (2) (2015)
Harold T. Hodes
Corrections to "Where Do Sets Come From?". J. Symb. Log. 56 (4) (1991)
Harold T. Hodes
Where Do Sets Come From? J. Symb. Log. 56 (1) (1991)
Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. J. Symb. Log. 53 (4) (1988)
Harold T. Hodes
Axioms for actuality. J. Philos. Log. 13 (1) (1984)
Harold T. Hodes
Finite Level Borel Games and a Problem Concerning the Jump Hierarchy. J. Symb. Log. 49 (4) (1984)
Harold T. Hodes
Well-Behaved Modal Logics. J. Symb. Log. 49 (4) (1984)
Harold T. Hodes
The Modal Theory of Pure Identity and Some Related Decision Problems. Math. Log. Q. 30 (26-29) (1984)
Harold T. Hodes
Some theorems on the expressive limitations of modal languages. J. Philos. Log. 13 (1) (1984)
Harold T. Hodes
More About Uniform Upper Bounds on Ideals of Turing Degrees. J. Symb. Log. 48 (2) (1983)
Harold T. Hodes
Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. J. Symb. Log. 46 (4) (1981)
Harold T. Hodes
Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees. J. Symb. Log. 45 (2) (1980)
Harold T. Hodes
Uniform Upper Bounds on Ideals of Turing Degrees. J. Symb. Log. 43 (3) (1978)