Belief contraction and erasure in fragments of propositional logic

DOI10.1093/LOGCOM/EXAC005MaRDI QIDQ5044549zbMATH OpenOpenAlexFDO

Authors Nadia Creignou, Raida Ktari, Odile Papini

Publication date 1 November 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac005

zbMATH Keywords

belief changebelief contractionbelief erasurefragments of propositional logicknowledge representation and reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Belief contraction within fragments of propositional logic
• Belief revision within fragments of propositional logic
• Belief update within propositional fragments
• Belief merging within fragments of propositional logic
• Belief Update within Propositional Fragments

Cited in

(6)

• An algebraic approach to belief contraction and nonmonotonic entailment
• Belief contraction as nonmonotonic inference
• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• Belief contraction, anti-formulae and resource overdraft. II: Deletion in resource unbounded logics
• Toward credible belief base revision
• Representation results for belief update in closed fragments of propositional logic

This page was built for publication: Belief contraction and erasure in fragments of propositional logic

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