B
elief_
R
evision
AGM_Logic
AGM_Remainder
AGM_Contraction
AGM_Revision