System of Spheres-based Two Level Credibility-limited Revisions
This work addresses a specific issue in formal logic and belief revision, representing an incremental contribution to the field.
The paper tackles the problem of formalizing two-level credibility-limited belief revision by proposing a construction based on Grove's systems of spheres and providing an axiomatic characterization for these operators.
Two level credibility-limited revision is a non-prioritized revision operation. When revising by a two level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this paper, we propose a construction for two level credibility-limited revision operators based on Grove's systems of spheres and present an axiomatic characterization for these operators.