Similar Items: Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning