Complete Semantics

A set $E \subseteq A$ is a complete extension iff $E$ is admissible and for every argument $a \in A$ defended by $E$, we have $a \in E$.

Signature

An exact characterisation of $\mathsf{sig}(\mathsf{co})$ is open. Every $\mathbb{S} \in \mathsf{sig}(\mathsf{co})$ has $\mathbb{S} \neq \emptyset$, is com-closed and contains $\bigcap_{S \in \mathbb{S}} S$, but not every such $\mathbb{S}$ is in $\mathsf{sig}(\mathsf{co})$ (Dunne et al., 2015).