Enviar por SMS: Behavioral equivalence of hidden k-logics: an abstract algebraic approach