Por tanto, un argumento es válido en nuestro lenguaje modal cuando preserva la verdad en todos los mundos posibles en toda interpretación: