An analysis of first-order logics of probability

Artificial Intelligence

Volumn 46, Issue 3, 1990, Pages 311-350

  Halpern, Joseph Y ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; PROBABILITY; SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

FIRST ORDER LOGIC; REASONING ABOUT PROBABILITY; SEMANTICS;

COMPUTER METATHEORY;

EID: 0025535649     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(90)90019-V     Document Type: Article

References (33)

1. Decidability and expressiveness for first-order logics of probability
2. On probability distributions over possible worlds
3. Representing and reasoning with probabilistic knowledge
4. Probabilistic programming logics
5. A probabilistic dynamic logic
6. Representations of probabilities defined on first order languages
7. Reasoning about knowledge and probability: Preliminary report
8. Uncertainty, belief, and probability
9. A logic for reasoning about probabilities
10. Concerning measures in first order calculi
11. Quantification in modal logic
12. The relationship between knowledge, belief, and certainty
13. Probability quantifiers
14. Higher order probabilities and intervals
15. Remarks on the foundations of probability
16. A paradox of information
17. Probabilistic logic
18. Assigning probabilities to logical formulas
19. Higher order degrees of belief