Harold T. Hodes

16 papers Journal 16

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