El operador modal básico de la lógica epistémica, normalmente escrito con el símbolo "K", se puede interpretar como significando "se sabe que", "es necesario desde un punto de vista epistémico que", o "es inconsistente con lo que sabemos que no".