Eradication
From MaRDI portal
Publication:420838
DOI10.1016/j.jal.2011.08.001zbMath1253.03007MaRDI QIDQ420838
Publication date: 23 May 2012
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2011.08.001
belief revision; recovery; multiple contraction; eradication; full meet contraction; partial meet contraction
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Reconstruction of contraction operators, Bootstrap contraction, Impossibility results for belief contraction
Cites Work
- Unnamed Item
- Unnamed Item
- Specified meet contraction
- Two modellings for theory change
- A survey of multiple contractions
- A note on partial meet package contraction
- A textbook of belief dynamics. Theory change and database updating
- On the logic of theory change: Partial meet contraction and revision functions
- Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
- Contraction Based on Sentential Selection
- New operators for theory change