Dragan Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović
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.