An Axiomatic Characterization of Base-Generated Multiple Partial Meet Contraction
Sven Ove Hansson · 2012
This paper combines two generalizations of the AGM (AlchourronGardenforsMakinson) framework for belief contraction, namely (1) base-generated contraction, in whichchanges on the belief set are generated from changes on an underlying belief base, and (2) multi-ple contraction, in which several sentences are removed at one and the same time. An operationthat combines the two generalizations,base-generated multiple partial meet contraction, is in-troduced and axiomatically characterized