Efficient checking of coherence and propagation of imprecise probability assessments

We consider the computational difficulties in the checking of coherence andpropagation of imprecise probabilityassessments. We examine the linearstructure of the random gain in bettingcriterion and we propose a generalmethodology which exploits suitablesubsets of the set of values of therandom gain. In this way the checkingof coherence and propagation amountto examining linear systems with areduced number of unknowns. We alsoillustrate an example.