Journal of Philosophical Logic

, Volume 41, Issue 4, pp 711–733

A General Family of Preferential Belief Removal Operators

  • Richard Booth
  • Thomas Meyer
  • Chattrakul Sombattheera

DOI: 10.1007/s10992-012-9235-5

Cite this article as:
Booth, R., Meyer, T. & Sombattheera, C. J Philos Logic (2012) 41: 711. doi:10.1007/s10992-012-9235-5


Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in Booth et al. (Artif Intell 174:1339–1368, 2010). However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of Booth et al. (Artif Intell 174:1339–1368, 2010) to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases.


Belief revision Belief removal Belief contraction Belief change Plausibility orderings Finite belief bases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  • Richard Booth
    • 1
  • Thomas Meyer
    • 2
  • Chattrakul Sombattheera
    • 3
  1. 1.University of LuxembourgLuxembourgLuxembourg
  2. 2.Centre for Artificial Intelligence ResearchUniversity of KwaZulu-Natal and CSIR MerakaPretoriaSouth Africa
  3. 3.Mahasarakham UniversityMaha SarakhamThailand

Personalised recommendations