# zbMATH — the first resource for mathematics

Barwise completeness theorems for some biprobability logics. (English) Zbl 0616.03009
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
Full Text: