Lost in translation: language independence in propositional logic -- application to belief change

DOI10.1016/j.artint.2013.09.005zbMath1334.68209OpenAlexW2004960927MaRDI QIDQ490446

Pierre Marquis, Nicolas Schwind

Publication date: 27 August 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2013.09.005

zbMATH Keywords

belief changelanguage independence

Mathematics Subject Classification ID

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

Related Items (1)

Elementary belief revision operators

Cites Work

• On the complexity of Boolean unification
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• \(\text{DA}^2\) merging operators
• Propositional relevance through letter-sharing
• Propositional knowledge base revision and minimal change
• The rôle of language in belief revision
• Conditional independence in propositional logic.
• On propositional definability
• Boolean functions as models for quantified Boolean formulas
• On the logic of theory change: Partial meet contraction and revision functions
• Merging Information Under Constraints: A Logical Framework
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lost in translation: language independence in propositional logic -- application to belief change