Certified Reinforcement Learning with Logic Guidance