| Publication | Date of Publication | Type |
|---|
Cut‐conditions on sets of multiple‐alternative inferences
Mathematical Logic Quarterly | 2023-09-12 | Paper |
One-step modal logics, intuitionistic and classical. I
Journal of Philosophical Logic | 2021-11-04 | Paper |
One-step modal logics, intuitionistic and classical. II
Journal of Philosophical Logic | 2021-11-04 | Paper |
Why ramify?
Notre Dame Journal of Formal Logic | 2015-07-20 | Paper |
| scientific article; zbMATH DE number 6371947 (Why is no real title available?) | 2014-11-23 | Paper |
Where do the natural numbers come from?
Synthese | 1993-02-02 | Paper |
Where do sets come from?
Journal of Symbolic Logic | 1992-06-26 | Paper |
Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Cardinality logics. Part II: Definability in languages based on ‘exactly’
Journal of Symbolic Logic | 1988-01-01 | Paper |
Cardinality logics. I: Inclusions between languages based on ``exactly''
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations
Journal of Philosophical Logic | 1987-01-01 | Paper |
Individual-actualism and three-valued modal logics. I: Model-theoretic semantics
Journal of Philosophical Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3847361 (Why is no real title available?) | 1984-01-01 | Paper |
On modal logics which enrich first-order S5
Journal of Philosophical Logic | 1984-01-01 | Paper |
Some theorems on the expressive limitations of modal languages
Journal of Philosophical Logic | 1984-01-01 | Paper |
Axioms for actuality
Journal of Philosophical Logic | 1984-01-01 | Paper |
THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
Well-behaved modal logics
Journal of Symbolic Logic | 1984-01-01 | Paper |
Finite level Borel games and a problem concerning the jump hierarchy
Journal of Symbolic Logic | 1984-01-01 | Paper |
A minimal upper bound on a sequence of Turing degrees which represents that sequence
Pacific Journal of Mathematics | 1983-01-01 | Paper |
More about uniform upper bounds on ideals of turing degrees
Journal of Symbolic Logic | 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
Journal of Symbolic Logic | 1981-01-01 | Paper |
Jumping through the transfinite: the master code hierarchy of Turing degrees
Journal of Symbolic Logic | 1980-01-01 | Paper |
Uniform upper bounds on ideals of turing degrees
Journal of Symbolic Logic | 1978-01-01 | Paper |
