Vladimir_Nesov comments on Modal Fixpoint Cooperation without Löb’s Theorem

[Vladimir_Nesov]

How do you figure?

[Christopher King]

If A doesn’t think “everyone cooperates”, then A won’t cooperate, right? Then by Lob’s theorem applied to A, A won’t cooperate.