認識論理の基本の様相作用素は、通常Kと表記され、「-ということが既知である」、「-ということが認識論的に必須である」、「-でないということは既知のことと一致しない」と解釈される。
认识逻辑的基本模态算子通常写为K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。