Credibility-Limited Revision Operators in Propositional Logic