×

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
PDF BibTeX XML Cite
Full Text: DOI