A Logic for Reasoning About Qualitative Probability
Angelina Ilić-Stepić
We offer extended completeness theorem for probabilistic logic
that combines higher-order probabilities (nesting of probability operators)
and the qualitative probability operator.