Local Validity for Circular Proofs in Linear Logic With Fixed Points