| Publication | Date of Publication | Type |
|---|
Applying saturation-based theorem proving to open problems in positive implicational logic
Journal of Automated Reasoning | 2026-03-31 | Paper |
Univocity of intuitionistic and classical connectives
The Bulletin of Symbolic Logic | 2025-11-18 | Paper |
A problem for confirmation measure Z
Philosophy of Science | 2025-04-02 | Paper |
A new Garber-style solution to the problem of old evidence
Philosophy of Science | 2025-03-27 | Paper |
Two approaches to belief revision
Erkenntnis | 2021-11-24 | Paper |
The philosophical significance of Stein's paradox
European Journal for Philosophy of Science | 2018-11-05 | Paper |
Declarations of independence
Synthese | 2018-03-27 | Paper |
| Solutions to some open problems from Slaney | 2017-03-07 | Paper |
| Remarks on "Random Sequences" | 2016-02-01 | Paper |
Remarks on "Random Sequences"
(available as arXiv preprint) | 2016-02-01 | Paper |
Gibbard's collapse theorem for the indicative conditional: an axiomatic approach
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
Probabilistic measures of causal strength
Causality in the Sciences | 2012-12-08 | Paper |
How Bayesian confirmation theory handles the paradox of the ravens
The Place of Probability in Science | 2011-05-06 | Paper |
A decision procedure for probability calculus with applications
The Review of Symbolic Logic | 2010-08-13 | Paper |
Goodman's ``new riddle''
Journal of Philosophical Logic | 2009-07-13 | Paper |
| Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been thought of) | 2009-05-27 | Paper |
Likelihoodism, Bayesianism, and relational confirmation
Synthese | 2007-11-14 | Paper |
Comparative Bayesian Confirmation and the Quine–Duhem Problem: A Rejoinder to Strevens
The British Journal for the Philosophy of Science | 2007-11-12 | Paper |
| scientific article; zbMATH DE number 5147179 (Why is no real title available?) | 2007-04-27 | Paper |
Steps toward a computational metaphysics
Journal of Philosophical Logic | 2007-04-19 | Paper |
Bayesian Confirmation and Auxiliary Hypotheses Revisited: A Reply to Strevens
The British Journal for the Philosophy of Science | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2101984 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2100042 (Why is no real title available?) | 2004-09-09 | Paper |
Shortest axiomatizations of implicational S4 and S5
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
Too Odd (Not) to Be True? A Reply to Olsson
The British Journal for the Philosophy of Science | 2004-05-18 | Paper |
| A probabilistic theory of coherence | 2004-03-07 | Paper |
Short single axioms for Boolean algebra
Journal of Automated Reasoning | 2003-04-28 | Paper |
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus
Journal of Automated Reasoning | 2003-04-28 | Paper |
| scientific article; zbMATH DE number 2001414 (Why is no real title available?) | 2003-01-01 | Paper |
Finding missing proofs with automated reasoning
Studia Logica | 2002-11-13 | Paper |
Comments on some completeness theorems of Urquhart and Méndez \& Salto
Journal of Philosophical Logic | 2002-09-25 | Paper |
Missing proofs found
Journal of Automated Reasoning | 2002-01-07 | Paper |
Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
Journal of Automated Reasoning | 2002-01-07 | Paper |
| scientific article; zbMATH DE number 1670763 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 2024621 (Why is no real title available?) | 2001-01-01 | Paper |
