Some links on modal logic for FDT-style decision theory and coordination:
Robust Cooperation in the Prisoner’s Dilemma
Parametric Bounded Löb’s Theorem and Robust Cooperation of Bounded Agents
Cooperative and uncooperative institution designs: Surprises and problems in open-source game theory
Modal Fixpoint Cooperation without Löb’s Theorem
Comparing Payor & Löb
Thank you!
Some links on modal logic for FDT-style decision theory and coordination:
Robust Cooperation in the Prisoner’s Dilemma
Parametric Bounded Löb’s Theorem and Robust Cooperation of Bounded Agents
Cooperative and uncooperative institution designs: Surprises and problems in open-source game theory
Modal Fixpoint Cooperation without Löb’s Theorem
Comparing Payor & Löb
Thank you!