×

zbMATH — the first resource for mathematics

A logic for reasoning about qualitative probability. (English) Zbl 1289.03006
The author offers a probabilistic logic that allows comparison of probabilities (formalization of the notion of qualitative probability) and nesting of probability operators. The main result is the strong completeness theorem, which is obtained by application of an infinitary inference rule.

MSC:
03B48 Probability and inductive logic
60A05 Axioms; other general questions in probability
PDF BibTeX XML Cite
Full Text: DOI