Logical Modalities within the European AI Act: An Analysis. - Lara Lawniczak; Christoph Benzmüller (CoRR, 2025)