No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function.