A probabilistic interpolation theorem

DOI10.2307/2274325zbMath0586.03023OpenAlexW1969929270MaRDI QIDQ3712320

Douglas N. Hoover

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274325

zbMATH Keywords

Craig interpolationprobability logicalmost surely true formulas

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Related Items

Craig interpolation for networks of sentences ⋮ Probability logic with conditional expectation

Cites Work

• Probability logic