ad-Modularisation

A semantics $\sigma$ satisfies ad-Modularisation iff for every admissible $E$ and every $E'$ disjoint from $E$ : $E' \in \sigma(F^E)$ iff $E \cup E' \in \sigma(F)$ , where $F^E$ is the reduct.

Reference

Friese, T. & Ulbricht, M. (2021). On the Relationship of Modularity Notions in Abstract Argumentation. In: Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR 2021), pp. 51–60.