We present an institution of feature logics which generalises the earlier approach of [5] and define a refinement theory to deal with the complexity of feature interactions in this generic framework, which is one of the main problem encountered when dealing with feature interaction detection. The study of interactions through implementation techniques is still an open problem. The authors furnish answers to encounter this purpose in a logic-independent framework, using algebraic refinement techniques.