Ken Binmore & Hyun Song Shin. Algorithmic knowledge and game theory. (Chapter 9 of Knowledge, Belief, and Strategic Interaction by Cristina Bicchieri.)
EDIT: Actually, I’d be pretty happy to see any paper containing both the phrases “common knowledge” and “Löb’s theorem”. This particular paper is probably not the only one.
Ken Binmore & Hyun Song Shin. Algorithmic knowledge and game theory. (Chapter 9 of Knowledge, Belief, and Strategic Interaction by Cristina Bicchieri.)
EDIT: Actually, I’d be pretty happy to see any paper containing both the phrases “common knowledge” and “Löb’s theorem”. This particular paper is probably not the only one.
Here.
Awesome, thanks!
Sorry, can’t get it. There’s a Google Books version you might be able to use, but the UWash access is only to a physical copy.
As for your edit, well,
http://www.google.com/search?q=%22common+knowledge%22+AND+%28%22L%C3%B6b%27s+theorem%22+OR+%22Loeb%27s+theorem%22+OR+%22Lob%27s+theorem%22%29
http://scholar.google.com/scholar?q=%22common+knowledge%22+AND+%28%22L%C3%B6b%27s+theorem%22+OR+%22Loeb%27s+theorem%22+OR+%22Lob%27s+theorem%22%29
turn up some things that might be useful.
Thanks for looking! I’ll try to get my hands on a physical copy, as the Google Books version has highly distracting page omissions.