Revision, Acceptability and Context

DOI10.1007/978-3-642-14159-1zbMath1203.03023MaRDI QIDQ3576991

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues

Publication date: 3 August 2010

Published in: Cognitive Technologies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14159-1

zbMATH Keywords

contraction; inconsistency; belief change; revision; AGM; update; labelled deductive systems; belief management

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)