認識論理
C G {\displaystyle {\mathit {C}}_{\mathit {G}}} は「- は G に属する全エージェントの共有知識である」と解釈される。 D G {\displaystyle {\mathit {D}}_{\mathit {G}}} は「- は G に属する全エージェントの分散知識である」と解釈される。 φ {\displaystyle \varphi } をこの言語における論理式としたとき、 E G φ {\displaystyle {\mathit {E}}_{G}\varphi } と C G φ {\displaystyle {\mathit {C}}_{G}\varphi } と D G φ {\displaystyle {\mathit {D}}_{G}\varphi } もこの言語の論理式である。 K {\displaystyle {\mathit {K}}} の添え字はエージェントが1つしかない場合には省略できるが、同様に E {\displaystyle {\mathit {E}}} 、 C {\displaystyle {\mathit {C}}} 、 D {\displaystyle {\mathit {D}}} についても、全エージェントの集合となる唯一のグループしかない場合には添え字を省略できる。