Harold T. Hodes

Available identifiers

zbMath Open hodes.harold-tMaRDI QIDQ792996

List of research outcomes

Publication	Date of Publication	Type
Cut‐conditions on sets of multiple‐alternative inferences	2023-09-12	Paper
One-step modal logics, intuitionistic and classical. I	2021-11-04	Paper
One-step modal logics, intuitionistic and classical. II	2021-11-04	Paper
Why ramify?	2015-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q2931097	2014-11-23	Paper
Where do the natural numbers come from?	1993-02-02	Paper
Where do sets come from?	1992-06-26	Paper
Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks	1989-01-01	Paper
Cardinality logics. I: Inclusions between languages based on ``exactly	1988-01-01	Paper
Cardinality logics. Part II: Definability in languages based on ‘exactly’	1988-01-01	Paper
Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations	1987-01-01	Paper
Individual-actualism and three-valued modal logics. I: Model-theoretic semantics	1986-01-01	Paper
Some theorems on the expressive limitations of modal languages	1984-01-01	Paper
Axioms for actuality	1984-01-01	Paper
On modal logics which enrich first-order S5	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3317082	1984-01-01	Paper
THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS	1984-01-01	Paper
Well-behaved modal logics	1984-01-01	Paper
Finite level Borel games and a problem concerning the jump hierarchy	1984-01-01	Paper
A minimal upper bound on a sequence of Turing degrees which represents that sequence	1983-01-01	Paper
More about uniform upper bounds on ideals of turing degrees	1983-01-01	Paper
Jumping to a Uniform Upper Bound	1982-01-01	Paper
Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy	1981-01-01	Paper
Jumping through the transfinite: the master code hierarchy of Turing degrees	1980-01-01	Paper
Uniform upper bounds on ideals of turing degrees	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harold T. Hodes