I’m confused; does your definition of M′ imply that it evaluates those conditionals in order? If so, consider the example of C1=□(Them=D) and M= DefectBot. The M′ you construct will cooperate in world 0, and thus it will not get the cooperation of C1, while M does. What am I missing?
I’m confused; does your definition of M′ imply that it evaluates those conditionals in order? If so, consider the example of C1=□(Them=D) and M= DefectBot. The M′ you construct will cooperate in world 0, and thus it will not get the cooperation of C1, while M does. What am I missing?
Your confusion was justified. It was wrong before. I think it is fixed now.
The conditionals are checked in order. As it is written now, none of the conditionals except the last one should trigger until world n+1.
The first only triggers against Xn, the second only triggers against Xn+1 and the third only triggers against M′.
I am also confused. How does this do against EABot, aka C1=□(Them(Them)=D) and M = DefectBot. Is the number of boxes not well defined in this case?
So according to the original Modal Combat framework, EABot is not a Modal Agent. The bots are not allowed to simulate Them(Them).