I am not following your abstract argument, and would like to see an example of how a “natural enough” mapping can establish “relative expressive power of the decision theories”.
I am not following your abstract argument, and would like to see an example of how a “natural enough” mapping can establish “relative expressive power of the decision theories”.