Pero los mundos posibles juegan un papel clave en la definición de las condiciones de verdad de los operadores modales: