A logic for reasoning about probabilities
- 1 July 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 87 (1-2) , 78-128
- https://doi.org/10.1016/0890-5401(90)90060-u
Abstract
No abstract availableKeywords
All Related Versions
This publication has 13 references indexed in Scilit:
- A logic to reason about likelihoodArtificial Intelligence, 1987
- The complexity of elementary algebra and geometryJournal of Computer and System Sciences, 1986
- Probabilistic logicArtificial Intelligence, 1986
- A probabilistic PDLJournal of Computer and System Sciences, 1985
- A decidable propositional dynamic logic with explicit probabilitiesInformation and Control, 1984
- Reasoning with time and chanceInformation and Control, 1982
- The complexity of logical theoriesTheoretical Computer Science, 1980
- Probability logicAnnals of Mathematical Logic, 1978
- On the foundations of combinatorial theory I. Theory of M bius FunctionsProbability Theory and Related Fields, 1964
- Solvability and Consistency for Linear Equations and InequalitiesThe American Mathematical Monthly, 1956