Multiple Kernel Contraction
- Cite this article as:
- Fermé, E., Saez, K. & Sanz, P. Studia Logica (2003) 73: 183. doi:10.1023/A:1022927828817
- 47 Downloads
This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369].