Report - LOGICS FOR BELIEF BASE UPDATINGAndreas.Herzig/P/u.pdf · 5In the literature, AGM-revision uses metalanguage operations mapping deductively closed (and hence in nite) belief sets to

Please pass captcha verification before submit form