Automating the Search for Answers to Open Questions. - Larry Wos; Branden Fitelson (TPHOLs, 2000)

Missing Proofs Found. - Branden Fitelson; Larry Wos (J. Autom. Reason., 2001)

Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. - Kenneth Harris; Branden Fitelson (J. Autom. Reason., 2001)

Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. - Kenneth Harris; Branden Fitelson (J. Philos. Log., 2001)

Finding Missing Proofs with Automated Reasoning. - Branden Fitelson; Larry Wos (Stud Logica, 2001)

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus - Larry Wos; Dolph Ulrich; Branden Fitelson (CoRR, 2002)

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus - Larry Wos; Dolph Ulrich; Branden Fitelson (CoRR, 2002)

Short Single Axioms for Boolean Algebra. - William McCune; Robert Veroff; Branden Fitelson; Kenneth Harris; Andrew Feist; Larry Wos (J. Autom. Reason., 2002)

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. - Larry Wos; Dolph Ulrich; Branden Fitelson (J. Autom. Reason., 2002)

Shortest Axiomatizations of Implicational S4 and S5. - Zachary Ernst; Branden Fitelson; Kenneth Harris; Larry Wos (Notre Dame J. Formal Log., 2002)

Steps Toward a Computational Metaphysics. - Branden Fitelson; Edward N. Zalta (J. Philos. Log., 2007)

Introduction. - Branden Fitelson (Stud Logica, 2007)

Likelihoodism, Bayesianism, and relational confirmation. - Branden Fitelson (Synth., 2007)

Goodman's "New Riddle". - Branden Fitelson (J. Philos. Log., 2008)

A Decision procedure for Probability Calculus with Applications. - Branden Fitelson (Rev. Symb. Log., 2008)

FEW 2009 Special Issue: Preface. - Branden Fitelson (J. Philos. Log., 2010)

Updating: Learning versus supposing. - Jiaying Zhao; Vincenzo Crupi 001; Katya Tentori; Branden Fitelson; Daniel N. Osherson (CogSci, 2012)

Remarks on "Random Sequences" - Branden Fitelson; Daniel N. Osherson (CoRR, 2012)

Introduction to the Special Issue: Probability, Confirmation and Fallacies. - Jeanne Peijnenburg; Branden Fitelson; Igor Douven (Synth., 2012)

Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. - Branden Fitelson (Automated Reasoning and Mathematics, 2013)

Declarations of independence. - Branden Fitelson; Alan Hájek (Synth., 2017)