Lost in translation: language independence in propositional logic -- application to belief change
type: Item
instance of: scholarly article
title: Lost in translation: language independence in propositional logic -- application to belief change
zbMATH Open document ID: 1334.68209
author: Pierre Marquis
author: Nicolas Schwind
published in: Artificial Intelligence
publication date: 2015-08-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 6476331
zbMATH Keywords: language independence
zbMATH Keywords: belief change
MaRDI profile type: Publication
full work available at URL: j.artint.2013.09.005
OpenAlex ID: W2004960927
cites work: Q5528627
cites work: Q4028815
cites work: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
cites work: The rôle of language in belief revision
cites work: On propositional definability
cites work: On the complexity of Boolean unification
cites work: Merging Information Under Constraints: A Logical Framework
cites work: \(\text{DA}^2\) merging operators
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Propositional knowledge base revision and minimal change
cites work: Q4028812
cites work: Q5750466
cites work: Conditional independence in propositional logic.
cites work: Q4411161
cites work: Propositional relevance through letter-sharing
cites work: Boolean functions as models for quantified Boolean formulas
DOI: 10.1016/J.ARTINT.2013.09.005
description: scientific article; zbMATH DE number 6476331