正の内省公理はKK公理とも呼ばれ、エージェントは「自分が知っているということを知っている」(knowswhattheyknows)ということを意味する。
它的认识版本是Kϕ→ϕ{\displaystyleK\phi\rightarrow\phi},陈述某知识为“已知”是真，这好像同样是正确的。