Ellos son formula_16, que se lee "todo agente en el grupo G sabe"; formula_17, que se lee "es un conocimiento en posición de todo agente en G"; y formula_18, que se lee "es conocimiento distribuido a todo agente en G".