- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A decision procedure for probability calculus with applications
Review of Symbolic Logic 1 (1):111-125 (2008)
Abstract
(new version: 10/30/07). Click here to download the companion Mathematica 6 notebook that goes along with this paper.Author's Profile
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- fitelson.org
(no proxy) - fitelson.s464.sureserver.com (no proxy)
- journals.cambridge.org (no proxy)
- journals.cambridge.org [2] (no proxy)
- journals.cambridge.org [3] (no proxy)
- journals.cambridge.org [4] (no proxy)
- journals.cambridge.org [5] (no proxy)
- journals.cambridge.org [6] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
A didactical approach to the zero-one decision procedure of the expressions of the first order monadic predicate calculus.L. Borkowski - 1961 - Studia Logica 11 (1):76.
A decision procedure for Fitch's propositional calculus.Richmond H. Thomason - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):101-117.
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
Analytics
Added to PP
2009-01-28
Downloads
113 (#154,124)
6 months
26 (#109,749)
2009-01-28
Downloads
113 (#154,124)
6 months
26 (#109,749)
Historical graph of downloads
Author's Profile
Citations of this work
Accuracy, Coherence and Evidence.Branden Fitelson & Kenny Easwaran - 2015 - Oxford Studies in Epistemology 5:61-96.
Precise Credences.Michael Titelbaum - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPaper Foundation. pp. 1-55.
References found in this work
Studies in Bayesian Confirmation Theory.Branden Fitelson - 2001 - Dissertation, University of Wisconsin, Madison
The plurality of bayesian measures of confirmation and the problem of measure sensitivity.Branden Fitelson - 1999 - Philosophy of Science 66 (3):378.
A bayesian account of independent evidence with applications.Branden Fitelson - 2001 - Proceedings of the Philosophy of Science Association 2001 (3):S123-.
A Bayesian Account of Independent Evidence with Applications.Branden Fitelson - 2001 - Philosophy of Science 68 (S3):S123-S140.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo