En su aplicación a las modalidades aléticas de posibilidad y necesidad, Aristóteles observó este caso, y en el caso de la lógica modal normal, se puede entender la relación de estos operadores modales a la cuantificación mediante la creación de modelos utilizando la semántica de Kripke.