Branden Fitelson

According to our database1, Branden Fitelson authored at least 21 papers between 2000 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Declarations of independence.
Synth., 2017

2013
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach.
Proceedings of the Automated Reasoning and Mathematics, 2013

2012
Introduction to the Special Issue: Probability, Confirmation and Fallacies.
Synth., 2012

Remarks on "Random Sequences"
CoRR, 2012

Updating: Learning versus supposing.
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2010
<i>FEW 2009</i> Special Issue: Preface.
J. Philos. Log., 2010

2008
A Decision procedure for Probability Calculus with Applications.
Rev. Symb. Log., 2008

Goodman's "New Riddle".
J. Philos. Log., 2008

2007
Likelihoodism, Bayesianism, and relational confirmation.
Synth., 2007

Introduction.
Stud Logica, 2007

Steps Toward a Computational Metaphysics.
J. Philos. Log., 2007

2002
Shortest Axiomatizations of Implicational S4 and S5.
Notre Dame J. Formal Log., 2002

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
J. Autom. Reason., 2002

Short Single Axioms for Boolean Algebra.
J. Autom. Reason., 2002

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
CoRR, 2002

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
CoRR, 2002

2001
Finding Missing Proofs with Automated Reasoning.
Stud Logica, 2001

Comments on Some Completeness Theorems of Urquhart and Méndez & Salto.
J. Philos. Log., 2001

Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.
J. Autom. Reason., 2001

Missing Proofs Found.
J. Autom. Reason., 2001

2000
Automating the Search for Answers to Open Questions.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000


  Loading...