La lógica modal se trata de lo que es necesariamente veraz o falso y lo que es posiblemente veraz o falso. Se habla en la lógica modal de lo que es posible en todos los mundos posibles (Moreland y Craig, Philosophical Foundations for a Christian Worldview, 48)