Las lógicas más comunes en la familia de la lógica modal están construidas desde una lógica débil, llamada "K" en honor a las contribuciones de Kripke a la lógica modal.