Belief contraction and erasure in fragments of propositional logic.
Nadia CreignouRaïda KtariOdile PapiniPublished in: J. Log. Comput. (2022)
Keyphrases
- propositional logic
- belief revision
- belief change
- belief set
- horn contraction
- horn logic
- nonmonotonic reasoning
- belief update
- possibilistic logic
- lattice theory
- epistemic states
- propositional satisfiability
- knowledge base
- minimal change
- satisfiability testing
- nonmonotonic logics
- davis putnam
- belief state
- quantified boolean formulae
- belief base
- first order logic
- prime implicates
- modal logic
- relational databases