Safe And Certified Reinforcement Learning With Logical Constraints