名稱
認識邏輯學認識邏輯是關心與知識有關的推理的模態邏輯子領域。(認識這個詞的希臘語是 Episteme)。它套用於哲學、計算機科學、人工智慧和其他領域。
認識邏輯的基本模態運算元通常寫為 K，它可以讀做“有人知道...”，“...在認識上是必然的”，或“不...與已知相矛盾”。如果有多於一個的其知識要被表現的代理者(agent)，可以向這個運算元附加下標(Ka, Kb, etc.)來指示談論的是哪個代理者。
特徵
認識邏輯與真勢模態邏輯共享某些特徵。例如模式 T，
<math>\Box \phi \rightarrow \phi</math>,
陳述必然的事物是真的，這好象是正確的。它的認識版本是
<math>K \phi \rightarrow \phi</math>,
陳述某知識為“已知”是真，這好象同樣是正確的。在另一方面，很多在真勢模態邏輯中似是而非的公式在按知識來解釋的時候就更加可疑了。例如模式 4，
<math>\Box \phi \rightarrow \Box \Box \phi</math>,
當把方框解釋為“...(在形上學上)是必然的”的時候好象是似是而非的。它的知識版本
<math>K \phi \rightarrow KK \phi</math>,
陳述如果一個代理者知道某事，則他或她知道他知道這個事情，這不是個很明顯的一個原理。
認識邏輯的早期提議者包括 E. J. Lemmon 和 Jaakko Hintikka。
