All of agilecaveman's Comments + Replies

Modal SAT: Self Cooperation

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?

0Scott Garrabrant6ySo according to the original Modal Combat framework, EABot is not a Modal Agent. The bots are not allowed to simulate Them(Them).