An Axiomatic Characterization of Ensconcement-Based Contraction

DOI10.1093/logcom/exm093zbMath1169.03016OpenAlexW2098212422WikidataQ62045359 ScholiaQ62045359MaRDI QIDQ3529378

Martín Krevneris, Maurício D. L. Reis, Eduardo L. Fermé

Publication date: 9 October 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10400.13/3452

zbMATH Keywords

base contractionbelief basesensconcementlogic of theory change

Mathematics Subject Classification ID

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

Related Items (10)

Inter-definability of Horn contraction and Horn revision ⋮ Shielded base contraction ⋮ Bootstrap contraction ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Studies on brutal contraction and severe withdrawal ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Selective base revisions ⋮ Residual contraction

This page was built for publication: An Axiomatic Characterization of Ensconcement-Based Contraction