| Publication | Date of Publication | Type |
|---|
| Branching Space-Times | 2022-05-28 | Paper |
| New foundations for branching space-times | 2021-04-27 | Paper |
| How a Computer Should Think | 2020-08-10 | Paper |
| A Useful Four-Valued Logic | 2020-08-10 | Paper |
| Interview with Prof. Nuel D. Belnap | 2020-08-10 | Paper |
| Conditional Assertion and Restricted Quantification | 2017-07-14 | Paper |
| On topological issues of indeterminism | 2015-01-26 | Paper |
| CIFOL: case-intensional first order logic. I: Toward a theory of sorts | 2014-12-18 | Paper |
| BH-CIFOL: case-intensional first order logic. II: Branching histories | 2014-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417798 | 2014-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417812 | 2014-05-22 | Paper |
| Newtonian determinism to branching space-times indeterminism in two moves | 2014-01-23 | Paper |
| Indeterminism is a modal notion: branching spacetimes and Earman's pruning | 2013-11-25 | Paper |
| Propensities and probabilities | 2011-10-27 | Paper |
| Prolegomenon to norms in branching space-times | 2011-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001371 | 2011-05-31 | Paper |
| Generalized truth values.: A reply to Dubois | 2010-12-14 | Paper |
| Funny business in branching space-times: infinite modal correlations | 2009-06-17 | Paper |
| Truth values, neither-true-nor-false, and supervaluations | 2009-05-08 | Paper |
| Norms in Branching Space-Times | 2008-08-28 | Paper |
| How causal probabilities might fit into our objectively indeterministic world | 2006-08-18 | Paper |
| Under Carnap's lamp: flat pre-semantics | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5703105 | 2005-11-08 | Paper |
| A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452546 | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430392 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940716 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218022 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4211441 | 1998-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688806 | 1997-08-04 | Paper |
| In the realm of agents | 1997-05-05 | Paper |
| The deliberative stit: A study of action, omission, ability, and obligation | 1996-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845457 | 1995-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4297115 | 1994-06-28 | Paper |
| The way of the agent | 1993-04-01 | Paper |
| Branching space-time | 1993-01-16 | Paper |
| Semantic holism | 1990-01-01 | Paper |
| Linear logic displayed | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686698 | 1984-01-01 | Paper |
| Display logic | 1982-01-01 | Paper |
| A consecutive calculus for positive relevant implication with necessity | 1980-01-01 | Paper |
| Relevant analytic tableaux | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206928 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858244 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4119182 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113804 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4120566 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085699 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133585 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091906 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405128 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405129 | 1973-01-01 | Paper |
| S-P interrogatives | 1972-01-01 | Paper |
| Every functionally complete m-valued logic has a Post-complete axiomatization | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600856 | 1969-01-01 | Paper |
| Homomorphisms of intensionally complemented distributive lattices | 1968-01-01 | Paper |
| Intensional models for first degree formulas | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541381 | 1966-01-01 | Paper |
| A Decision Procedure For the System EĪ of Entailment with Negation | 1965-01-01 | Paper |
| First degree entailments | 1963-01-01 | Paper |
| On not strengthening intuitionistic logic | 1963-01-01 | Paper |
| A rule-completeness theorem | 1963-01-01 | Paper |
| The pure calculus of entailment | 1963-01-01 | Paper |
| Intuitionism reconsidered | 1962-01-01 | Paper |
| Independent Axiom Schemata for the Pure Theory of Entailment | 1960-01-01 | Paper |
| EQ and the First Order Functional Calculus | 1960-01-01 | Paper |
| Entailment and relevance1 | 1960-01-01 | Paper |
| Modalities in Ackermann's “rigorous implication” | 1959-01-01 | Paper |
| A simple treatment of truth functions | 1959-01-01 | Paper |
