Concepedia

Harold T. Hodes

HT

Statistics

Publications

14

Citations

1.2K

H-Index

12

Active since

1976

Affiliations

Cornell University(Current)

Harold T. Hodes is an author at Cornell University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningLanguageFormal MethodsComputer ScienceLinguisticsPhilosophy Of LanguageComputational ComplexitySemanticsCognitive Science

Publications per year

1976–2003

14

Publications

14

The | lambda-Calculus.

Harold T. Hodes, Henk Barendregt · The Philosophical Review · 1988 · 566 citations

Mathematical Programming, Engineering, Automated Reasoning +3

Logicism and the Ontological Commitments of Arithmetic

Harold T. Hodes · The Journal of Philosophy · 1984 · 293 citations

Non-classical Logic, Mathematics Education, Cognitive Science +15

On modal logics which enrich first-order S5

Harold T. Hodes · Journal of Philosophical Logic · 1984 · 64 citations

Engineering, Automated Reasoning, Classical Logic +5

Axioms for actuality

Harold T. Hodes · Journal of Philosophical Logic · 1984 · 47 citations

Engineering, Automated Reasoning, Formal Methods +3

Some theorems on the expressive limitations of modal languages

Harold T. Hodes · Journal of Philosophical Logic · 1984 · 37 citations

Syntax, Engineering, Substructural Logic +7

1–5 of 14