OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION
Sven Ove Hansson · The Review of Symbolic Logic · 2013
Abstract The outcome set of a belief change operator is the set of outcomes that can be obtained with it. Axiomatic characterizations are reported for the outcome sets of the standard AGM contraction operators and eight types of base-generated contraction. These results throw new light on the properties of some of these operators.