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).
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).