Sin embargo en este caso, el axioma del conocimiento no parece ser verdadero -- solo a veces los agentes creen la verdad -- por lo que por lo general se lo remplaza con al axioma de consistencia, tradicionalmente llamado D: