Responding to Misbehavior with Logical Consequences