Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences