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

[Andrew_Critch]

This is cool (and fwiw to other readers) correct. I must reflect on what it means for real world cooperation… I especially like the A <-> []X → [][]X <-> []A trick.