FLARE: Faithful Logic-Aided Reasoning and Exploration