A Logic with Conditional Probability Operators


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.