Rašković, M.; Živaljević, R. Barwise completeness theorems for some biprobability logics. (English) Zbl 0616.03009 Z. Math. Logik Grundlagen Math. 32, 133-135 (1986). A biprobability model is a classical structure with two probability measures, one of which is absolutely continuous with respect to the other. This paper proves the completeness of the logic \(L_{APP}\) which is like a standard probability logic except for the existence of two types of probability quantifiers. Reviewer: H.E.Kyburg MSC: 03B48 Probability and inductive logic 03C65 Models of other mathematical theories 60A05 Axioms; other general questions in probability Keywords:biprobability model; classical structure with two probability measures; probability logic; probability quantifiers PDF BibTeX XML Cite \textit{M. Rašković} and \textit{R. Živaljević}, Z. Math. Logik Grundlagen Math. 32, 133--135 (1986; Zbl 0616.03009) Full Text: DOI