Fetching the paper…
Reading the bibliography…
We consider the one-shot Prisoner's Dilemma between algorithms with read-access to one anothers' source codes, and we use the modal logic of provability to build agents that can achieve mutual cooperation in a manner that is robust, in that cooperation does not require exact equality of the agents' source code, and unexploitable, meaning that such an agent never cooperates when its opponent defects.
On notation for ordinal numbers
S. C. Kleene · 1938
Earlier work this paper cites.
Solution of a Problem of Leon Henkin
M. H. Löb · 1955
Earlier work this paper cites.
Metamagical Themas: Questing for the Essence of Mind and Pattern
D. R. Hofstadter · 1985
Earlier work this paper cites.
Modeling rational players: Part i
K. Binmore · 1987
Earlier work this paper cites.
Cooperation in the prisoner’s dilemma
J.V. Howard · 1988
Earlier work this paper cites.
Some notes on church’s thesis and the theory of games
L. Anderlini · 1990
Earlier work this paper cites.
Rationality, computability, and nash equilibrium
D. Canning · 1992
Earlier work this paper cites.
The Logic of Provability
G. Boolos · 1995
Cited alongside, same era.
Provability logic—a short introduction
P. Lindström · 1996
Cited alongside, same era.
On the lengths of proofs of consistency
P. Pudlák · 1996
Cited alongside, same era.
Two-Person Game Theory
A. Rapoport · 1999
Cited alongside, same era.
Program equilibrium
M. Tennenholtz · 2004
Cited alongside, same era.
Good And Real: Demystifying Paradoxes from Physics to Ethics
G.L. Drescher · 2006
Cited alongside, same era.
A comparison of decision algorithms on newcomblike problems
A. Altair
Cited in the paper.
Program equilibria and discounted computation time
L. Fortnow · 2009
Later among the works it cites.
Strong mediated equilibrium
D. Monderer and M. Tennenholtz · 2009
Later among the works it cites.
A commitment folk theorem
A. T. Kalai, E. Kalai, E. Lehrer, and D. Samet · 2010
Later among the works it cites.
Program equilibrium—a program reasoning approach
W. Hoek, C. Witteveen, and M Wooldridge · 2011
Later among the works it cites.
Definable and contractible contracts
M. Peters and B. Szentes · 2012
Later among the works it cites.
A parametric, resource-bounded generalization of löb’s theorem, and a robust cooperation criterion for open-source game theory
A. Critch · 2019
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Effective computability in economic decisions
R. P. McAfee
Cited in the paper.
Self-referential algorithms for cooperation in one-shot games (unpublished draft)
V. Slepnev
Cited in the paper.