Reinforcement Learning for LTLf/LDLf Goals