Branden Fitelson

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Random Field Model

Conditional Probabilities

Digital Topology

Top Venues

Automated Reasoning and Mathematics

Publications

Branden Fitelson, Alan Hájek
Declarations of independence. Synth. 194 (10) (2017)
Branden Fitelson
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. Automated Reasoning and Mathematics (2013)
Jeanne Peijnenburg, Branden Fitelson, Igor Douven
Introduction to the Special Issue: Probability, Confirmation and Fallacies. Synth. 184 (1) (2012)
Branden Fitelson, Daniel N. Osherson
Remarks on "Random Sequences" CoRR (2012)
Jiaying Zhao, Vincenzo Crupi, Katya Tentori, Branden Fitelson, Daniel N. Osherson
Updating: Learning versus supposing. CogSci (2012)
Branden Fitelson
Special Issue: Preface. J. Philos. Log. 39 (6) (2010)
Branden Fitelson
A Decision procedure for Probability Calculus with Applications. Rev. Symb. Log. 1 (1) (2008)
Branden Fitelson
Goodman's "New Riddle". J. Philos. Log. 37 (6) (2008)
Branden Fitelson
Likelihoodism, Bayesianism, and relational confirmation. Synth. 156 (3) (2007)
Branden Fitelson, Edward N. Zalta
Steps Toward a Computational Metaphysics. J. Philos. Log. 36 (2) (2007)
Branden Fitelson
Introduction. Stud Logica 86 (2) (2007)
Branden Fitelson
Introduction. Stud Logica 86 (3) (2007)
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
Short Single Axioms for Boolean Algebra. J. Autom. Reason. 29 (1) (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus CoRR (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus CoRR (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. J. Autom. Reason. 29 (2) (2002)
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Shortest Axiomatizations of Implicational S4 and S5. Notre Dame J. Formal Log. 43 (3) (2002)
Kenneth Harris, Branden Fitelson
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. J. Philos. Log. 30 (1) (2001)
Branden Fitelson, Larry Wos
Missing Proofs Found. J. Autom. Reason. 27 (2) (2001)
Branden Fitelson, Larry Wos
Finding Missing Proofs with Automated Reasoning. Stud Logica 68 (3) (2001)
Kenneth Harris, Branden Fitelson
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. J. Autom. Reason. 27 (2) (2001)
Larry Wos, Branden Fitelson
Automating the Search for Answers to Open Questions. TPHOLs (2000)