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").
References
KK thesis Wikipedia(Text) CC BY-SA