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. Part II: Definability in languages based on ‘exactly’	1988-01-01	Paper
Cardinality logics. I: Inclusions between 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
On modal logics which enrich first-order S5	1984-01-01	Paper
Some theorems on the expressive limitations of modal languages	1984-01-01	Paper
Axioms for actuality	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

This page was built for person: Harold T. Hodes