An Analysis of First-Order Logics of Probability

@article{Halpern1989AnAO,
  title={An Analysis of First-Order Logics of Probability},
  author={Joseph Y. Halpern},
  journal={Artif. Intell.},
  year={1989},
  volume={46},
  pages={311-350}
}
We consider two approaches to giving semantics to first order logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving statistical information such as "The probability that a (typical) bird flies is greater than .9." The second approach puts a probability on possible worlds, and is appropriate for giving semantics to formulas describing degrees of belief, such as "The probability that Tweety (a particular bird… CONTINUE READING
Highly Influential
This paper has highly influenced 53 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
367 Citations
8 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Remarks on the foundations of probability

  • D. Miller.
  • 1988

Fenstad . Representations of probabilities de ned on rst order languages

  • E. J.
  • 1984

Probabilistic programming logics

  • Y. A. Feldman.
  • 1972

Higher order degrees of belief

  • D. H. Mellor
  • Mathematical Logic

Similar Papers

Loading similar papers…