Pasha Kamyshev

Wiki Contributions

Comments

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?