Forgetting Formulas and Signature Elements in Epistemic States