A logic for reasoning about counterfactual emotions