Logical Modalities within the European AI Act: An Analysis