Enhancing Retrieval Systems with Inference-Time Logical Reasoning