Using Logical Specifications for Multi-Objective Reinforcement Learning