Logic-Enhanced Language Model Agents for Trustworthy Social Simulations