Formal Logic Enabled Personalized Federated Learning Through Property Inference