Branden Fitelson

26 papers B 1Journal 23Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic.
J. Autom. Reason.
Branden Fitelson, Nicolas Peltier
2025 J jnl
Univocity of intuitionistic and Classical Connectives.
Bull. Symb. Log.
Rodolfo Cristian Ertola Biraben, Branden Fitelson
2017 J jnl
Declarations of independence.
Synth.
Branden Fitelson, Alan Hájek
2016 J jnl
Solutions to Some Open Problems from Slaney.
Australas. J. Log.
Branden Fitelson
2015 J jnl
Remarks on "Random Sequences".
Australas. J. Log.
Branden Fitelson, Daniel N. Osherson
2013 — conf
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach.
Automated Reasoning and Mathematics
Branden Fitelson
2012 J jnl
Introduction to the Special Issue: Probability, Confirmation and Fallacies.
Synth.
Jeanne Peijnenburg, Branden Fitelson, Igor Douven
2012 J jnl
Remarks on "Random Sequences"
CoRR
Branden Fitelson, Daniel N. Osherson
2012 B conf
Updating: Learning versus supposing.
CogSci
Jiaying Zhao, Vincenzo Crupi, Katya Tentori, Branden Fitelson, Daniel N. Osherson
2008 J jnl
A Decision procedure for Probability Calculus with Applications.
Rev. Symb. Log.
Branden Fitelson
2008 J jnl
Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been thought of).
Australas. J. Log.
Branden Fitelson, Neil Thomason
2008 J jnl
Goodman's "New Riddle".
J. Philos. Log.
Branden Fitelson
2007 J jnl
Introduction.
Stud Logica
Branden Fitelson
2007 J jnl
Introduction.
Stud Logica
Branden Fitelson
2007 J jnl
Likelihoodism, Bayesianism, and relational confirmation.
Synth.
Branden Fitelson
2007 J jnl
Steps Toward a Computational Metaphysics.
J. Philos. Log.
Branden Fitelson, Edward N. Zalta
2002 J jnl
Short Single Axioms for Boolean Algebra.
J. Autom. Reason.
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
2002 J jnl
Shortest Axiomatizations of Implicational S4 and S5.
Notre Dame J. Formal Log.
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
2002 J jnl
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
J. Autom. Reason.
Larry Wos, Dolph Ulrich, Branden Fitelson
2002 J jnl
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
CoRR
Larry Wos, Dolph Ulrich, Branden Fitelson
2002 J jnl
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
CoRR
Larry Wos, Dolph Ulrich, Branden Fitelson
2001 J jnl
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto.
J. Philos. Log.
Kenneth Harris, Branden Fitelson
2001 J jnl
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.
J. Autom. Reason.
Kenneth Harris, Branden Fitelson
2001 J jnl
Finding Missing Proofs with Automated Reasoning.
Stud Logica
Branden Fitelson, Larry Wos
2001 J jnl
Missing Proofs Found.
J. Autom. Reason.
Branden Fitelson, Larry Wos
2000 — conf
Automating the Search for Answers to Open Questions.
TPHOLs
Larry Wos, Branden Fitelson