Harold T. Hodes

According to our database, Harold T. Hodes authored at least 23 papers between 1978 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Cut-conditions on sets of multiple-alternative inferences.

Harold T. Hodes

Math. Log. Q., 2022

2021

One-Step Modal Logics, Intuitionistic and Classical, Part 2.

Harold T. Hodes

J. Philos. Log., 2021

One-Step Modal Logics, Intuitionistic and Classical, Part 1.

Harold T. Hodes

J. Philos. Log., 2021

2015

Why Ramify?

Harold T. Hodes

Notre Dame J. Formal Log., 2015

1991

Corrections to "Where Do Sets Come From?".

Harold T. Hodes

J. Symb. Log., 1991

Where Do Sets Come From?

Harold T. Hodes

J. Symb. Log., 1991

1989

Three-Valued Logics: An Introduction, a Comparison of Various Logical Lexica, and Some Philosophical Remarks.

Harold Hodes

Ann. Pure Appl. Log., 1989

1988

Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'.

Harold Hodes

J. Symb. Log., 1988

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.

Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon

J. Symb. Log., 1988

Cardinality logics, part I: inclusions between languages based on 'exactly'.

Harold Hodes

Ann. Pure Appl. Log., 1988

1987

Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations.

Harold Hodes

J. Philos. Log., 1987

1986

Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.

Harold Hodes

J. Philos. Log., 1986

1984

The Modal Theory of Pure Identity and Some Related Decision Problems.

Harold T. Hodes

Math. Log. Q., 1984

Well-Behaved Modal Logics.

Harold T. Hodes

J. Symb. Log., 1984

Finite Level Borel Games and a Problem Concerning the Jump Hierarchy.

Harold T. Hodes

J. Symb. Log., 1984

On modal logics which enrich first-order S5.

Harold Hodes

J. Philos. Log., 1984

Axioms for actuality.

Harold T. Hodes

J. Philos. Log., 1984

Some theorems on the expressive limitations of modal languages.

Harold T. Hodes

J. Philos. Log., 1984

1983

More About Uniform Upper Bounds on Ideals of Turing Degrees.

Harold T. Hodes

J. Symb. Log., 1983

1981

Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy.

Harold T. Hodes

J. Symb. Log., 1981

Meeting of the Association for Symbolic Logic: New York 1979.

George Boolos, Sy D. Friedman, Harold Hodes

J. Symb. Log., 1981

1980

Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees.

Harold T. Hodes

J. Symb. Log., 1980

1978

Uniform Upper Bounds on Ideals of Turing Degrees.

Harold T. Hodes

J. Symb. Log., 1978