De forma tal que formula_3 significa "el agente formula_4 sabe que formula_5." El dual de "K", que estaría en la misma relación con "K" que formula_6 es a formula_7, no posee un símbolo específico, pero puede ser representado como formula_8, lo que se lee como "formula_4 no sabe que no formula_5" o "formula_4 es formula_5 posible".