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

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