KK-thesis
 
 
If S knows p, then S knows that S knows p.
 

 
Pete Mandik
 
 
Last Updated: May 2004