GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis