×

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
PDF BibTeX XML Cite