Este axioma es conocido dentro de la lógica epistémica como K (no confundir con el axioma K de la lógica modal).