Inductive Generalization in Reinforcement Learning from Specifications