Eradication

DOI10.1016/J.JAL.2011.08.001MaRDI QIDQ420838zbMATH OpenOpenAlexFDO

Authors Sven Ove Hansson

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

zbMATH Keywords

belief revisionmultiple contractionrecoveryeradicationfull meet contractionpartial meet contraction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• A survey of multiple contractions
• Theory contraction and base contraction unified
• Eligible contraction
• Kernel contraction
• Impossibility results for belief contraction

Cites work

• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• scientific article; zbMATH DE number 2236612 (Why is no real title available?)
• A note on partial meet package contraction
• A survey of multiple contractions
• A textbook of belief dynamics. Theory change and database updating
• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• Contraction Based on Sentential Selection
• New operators for theory change
• On the logic of theory change: Partial meet contraction and revision functions
• Specified meet contraction
• Two modellings for theory change

Cited in

(5)

• Multiple and iterated contraction reduced to single-step single-sentence contraction
• Reconstruction of contraction operators
• Eradication of helminthic infections
• Bootstrap contraction
• Impossibility results for belief contraction

This page was built for publication: Eradication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420838)