Esto no es así en lógica modal.