Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension

Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai