I am not sure that I am correct. But there seems to be another possibility.
If we assume that the world is a model of some formal theory, then counterfactuals are models of different formal theories, whose models have finite isomorphic subsets (reality accessible to the agent before it makes a decision).
Thus counterfactuals aren’t inconsistent as they use different formal theories, and they are important because agent cannot decide the one that applies to the world before it makes a decision.
I am not sure that I am correct. But there seems to be another possibility.
If we assume that the world is a model of some formal theory, then counterfactuals are models of different formal theories, whose models have finite isomorphic subsets (reality accessible to the agent before it makes a decision).
Thus counterfactuals aren’t inconsistent as they use different formal theories, and they are important because agent cannot decide the one that applies to the world before it makes a decision.