Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging


Despite the importance of propositional logic in artificial intelligence, the notion of language independence in the propositional setting (not to be confound with syntax independence) has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t. symbol translation. We provide a… (More)
DOI: 10.5591/978-1-57735-516-8/IJCAI11-172

1 Figure or Table


  • Presentations referencing similar topics