An Axiomatic Characterization of Ensconcement-Based Contraction

DOI10.1093/LOGCOM/EXM093MaRDI QIDQ3529378zbMATH OpenOpenAlexWikidataFDO

Authors Martín Krevneris, Mauricio Reis, Eduardo 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

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

Recommendations

• On ensconcement and contraction
• Theory contraction and base contraction unified
• Shielded base contraction
• Changes of disjunctively closed bases
• Specified meet contraction

Cited in

(20)

• The contraction principle as a particular case of Kleene's fixed point theorem
• Foundational belief change
• A note on partial meet package contraction
• Shielded base contraction
• A representation theorem for recovering contraction relations satisfying wci
• Finite contractions on infinite belief sets
• Belief base change as priority change: a study based on dynamic epistemic logic
• Selective base revisions
• Inter-definability of Horn contraction and Horn revision
• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• Theory contraction and base contraction unified
• Bootstrap contraction
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
• Credibility-limited base revision: new classes and their characterizations
• Studies on brutal contraction and severe withdrawal
• AGM 25 years. Twenty-five years of research in belief change
• On ensconcement and contraction
• Levi and Harper identities for non-prioritized belief base change
• Characterization of AGM Belief Contraction in Terms of Conditionals
• Residual contraction

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

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