El sistema axiomático básico para la lógica modal es el sistema K, descrito más arriba.