認識邏輯

\

認識邏輯的基本模態運算元通常寫為 K，它可以讀做“有人知道...”，“...在認識上是必然的”，或“不...與已知相矛盾”。如果有多於一個的其知識要被表現的代理者(agent)，可以向這個運算元附加下標(Ka, Kb, etc.)來指示談論的是哪個代理者。

認識邏輯與真勢模態邏輯共享某些特徵。例如模式 T，

$\backslash Box\; \backslash phi\; \backslash rightarrow\; \backslash phi$,

陳述必然的事物是真的，這好像是正確的。它的認識版本是

$K\; \backslash phi\; \backslash rightarrow\; \backslash phi$,

陳述某知識為“已知”是真，這好像同樣是正確的。在另一方面，很多在真勢模態邏輯中似是而非的公式在按知識來解釋的時候就更加可疑了。例如模式 4，

$\backslash Box\; \backslash phi\; \backslash rightarrow\; \backslash Box\; \backslash Box\; \backslash phi$,

當把方框解釋為“...(在形而上學上)是必然的”的時候好像是似是而非的。它的知識版本

$K\; \backslash phi\; \backslash rightarrow\; KK\; \backslash phi$,

陳述如果一個代理者知道某事，則他或她知道他知道這個事情，這不是個很明顯的一個原理。

認識邏輯的早期提議者包括 E. J. Lemmon 和 Jaakko Hintikka。