Ilić-Stepić, Angelina A logic for reasoning about qualitative probability. (English) Zbl 1289.03006 Publ. Inst. Math., Nouv. Sér. 87(101), 97-108 (2010). 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. Reviewer: Aleksandar Perović (Beograd) Cited in 2 Documents MSC: 03B48 Probability and inductive logic 60A05 Axioms; other general questions in probability Keywords:probabilistic logic; qualitative probability; strong completeness PDF BibTeX XML Cite \textit{A. Ilić-Stepić}, Publ. Inst. Math., Nouv. Sér. 87(101), 97--108 (2010; Zbl 1289.03006) Full Text: DOI