CausalityModule

Whether a statement of a theory causes another (module causality): the NESS test, as published (Pisano, Prakken, Sartor, Liepina; ICAIL 2025) and revised, and the but-for test, on the grounded labelling of the theory and of its interventions. Unlike the modules of arg2p, each instance has a state of its own, the analysis computing the graphs (and caching them): a solver is given a new one.