Characteristic Formulae for Fixed-Point Semantics: A General Framework