🚀 go-pugleaf

John Etchemendy and I have been enjoying the discussion of The Liar,
so I thought I would send some pointers to further work. 

Paul King, Computer Science, U. of Manchester, has done some work
following up on our book.  In particular, he has solved the 3rd open
problem there.  His treatment provides a much imporved version of our
reflection theorem.

Aczel's book on AFA is due off the press any day now. You can find out
how to order it by sending a message to Dikran@csli.stanford.edu.  I
have a paper applying AFA to common knowledge in the TARK II volume
(reference below), and a more mathematical version with proofs that I
can send out by US Mail.

There are a number of interesting papers on paradoxes in the TARK II
volume. I would especially call attention to the ones by Gaifman and
Koons as being relevant to the earlier discussions on this
distribution list.

There is a new book out by Sainsbury, Cambridge Univ. Press, called
Paradoxes.   It goes into some depth on a wide range of paradoxes,
from Zeno, thorugh the Prisoner's Dilemma, to the Liar.

Finally, Etchemendy and I have written a PS for the next printing of
our book (next year) that might interest you.  I can send it by US
Mail, or a latex file by email.  It provides a somewhat different
slant on our work in the book, a slant that some people find much more
attractive. 

TARK II: Reasoning about KNowledge, Ed by Moshe Vardi, March 1988,
Morgan-Kaufmann (Los Altos, CA). This is the proceedings of the second
TARK conference.

Jon Barwise

barwise@csli.stanford.edu