 Notice that for example \(K_{a}K_{a}p\) is a formula in the language we introduced above. It states that agent a knows that agent a knows that p is the case. Formula with nested epistemic operators of this kind express a higher-order attitude: an attitude concerning the the attitude of some agent.