Formal Logic-guided Robust Federated Learning against Poisoning Attacks