A logic with conditional probability operators
Dragan V. Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović · Publications de l Institut Mathematique · 2010
We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.