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

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