Da lugar a los diversos modos de la existencia y plantea la lógica modal.