an:00816222
Zbl 0829.03021
Ra??kovi??, Miodrag D.; ??or??evi??, Radosav S.
Second-order probability logic
EN
Math. Balk., New Ser. 6, No. 1, 105-108 (1992).
00029288
1992
j
03C80 03B48
second-order probability logic; completeness theorem for second-order probability models
Summary: We introduce the second-order probability logic \(L^2_{{\mathcal A}P \forall}\) which possesses the probability quantifiers \((P\vec x\geq r)\) on the individual variables and the ordinary quantifiers \((\forall X)\) and \((\exists X)\) on the set variables. The aim of the paper is to prove the completeness theorem for second-order probability models.