@第{zbMATH00928020条，作者={Gabbay，Dov M.和Giordano，Laura和Martelli，Alberto和Olivetti，Nicola}，Title={处理假设更新和不一致性的语言}，FJournal={IGPL杂志}，日志={J.IGPL}，ISSN={0945-9103}，体积={4}，数字={3}，页码={385--416}，年份={1996}，语言={英语}，关键词={68N17，68P15，68T27}，zbMATH={928020}，Zbl={0853.68074}}