DOI10.12775/LLP.2002.003zbMath1035.03007OpenAlexW1977445472MaRDI QIDQ4803957
Reinhard Kahle
Publication date: 2002 Published in: Logic and Logical Philosophy (Search for Journal in Brave) Full work available at URL: https://doi.org/10.12775/llp.2002.003
zbMATH Keywords
contractionbelief revisionderivationtruth maintenance systembelief base
Mathematics Subject Classification ID
Logics of knowledge and belief (including belief change) (03B42)
Related Items