De forma tal de poder utilizar las nociones de conocimiento común y conocimiento distribuido, se pueden agregar tres operadores modales adicionales al lenguaje.