Semi-contraction: Axioms and construction

DOI10.1305/ndjfl/1039182250zbMath0972.03013OpenAlexW2019562109WikidataQ62045372 ScholiaQ62045372MaRDI QIDQ5937824

Eduardo L. Fermé, Ricardo Oscar Rodríguez

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039182250

zbMATH Keywords

interpolationbelief contractionconstructive approach to semi-contractionlogic of belief revisionrecovery axiomsemi-saturable setswithdrawal functions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (5)

Filtered belief revision: syntax and semantics ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Systematic withdrawal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two methods of constructing contractions and revisions of knowledge systems
• On the status of the postulate of recovery in the logic of theory change
• Two modellings for theory change
• A survey of multiple contractions
• Changes of disjunctively closed bases
• On the logic of theory change: Contraction without recovery
• Levi contractions and AGM contractions: A comparison
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• A brief note about Rott contraction

This page was built for publication: Semi-contraction: Axioms and construction