認識論理
「構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「http://localhost:6011/ja.wikipedia.org/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): a は φ {\displaystyle \varphi } か否かを知らない」という文は ¬ K a φ ∧ ¬ K a ¬ φ {\displaystyle \neg K_{a}\varphi \land \neg K_{a}\neg \varphi } と表せる。
共有知識や分散知識を表現するには、さらに3種類の様相作用素を追加する。 E G {\displaystyle {\mathit {E}}_{\mathit {G}}} は「グループ G に属する全エージェントが - を知っている」と解釈される。