In this report we present a translation of Belnap's four-valued logic into classical first-order logic. Soundness and completeness of the translation approach with respect to Belnap's notion of entailment are proved. Examples derivations are also given. These results provide the basis for developing a belief revision approach for Belnap's logic in terms of standard AGM belief revision operators for classical logic.