# zbMATH — the first resource for mathematics

Finite compactness theorem for biprobability logics. (English) Zbl 0749.03008
Summary: The aim of the paper is to prove the compactness theorem for universal conjunctive formulas of $$L_{{\mathcal A}P_ 1P_ 2}$$ for both absolutely continuous and singular cases. A similar result for the logic $$L_{{\mathcal A}P}$$ was proved by D. Hoover.
##### MSC:
 03B48 Probability and inductive logic 03C80 Logic with extra quantifiers and operators