Invited talk at PACMAN 2026 (Proof, Argumentation, Computation, Modalities and Negation), University of Verona.