An Axiomatic Characterization of Base-Generated Multiple Partial Meet Contraction
2012 (English)In: Studies in Logic, ISSN 1674-3202, Vol. 5, no 1, 1-10 p.Article in journal (Refereed) Published
This paper combines two generalizations of the AGM (AlchourrónGärdenforsMakinson) 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
Place, publisher, year, edition, pages
2012. Vol. 5, no 1, 1-10 p.
IdentifiersURN: urn:nbn:se:kth:diva-86298OAI: oai:DiVA.org:kth-86298DiVA: diva2:500593
QC 201305142012-02-132012-02-132013-05-14Bibliographically approved