Program Equilibrium via Provability Logic: Robust Cooperation in Prisoners Dilemma On 21 Dec, 2013 By admin 0 Comments Read more... about Program Equilibrium via Provability Logic: Robust Cooperation in Prisoners Dilemma