*** Welcome to piglix ***

KK thesis


The KK thesis or KK principle is a principle of epistemic logic which states that "If you know that p is the case then you know that you know that p is the case." In formal notation the principle can be stated as: "Kp→KKp" (literally: "Knowing p implies the knowing of knowing p").



...
Wikipedia

...