Tal es el campo de la modalidad y la lógica modal.