Transfer Learning for Temporal Logic Objectives