Grounded Semantics

A set $E \subseteq A$ is the grounded extension iff $E$ is a $\subseteq$-minimal complete extension. It is the least fixed point of the characteristic function $\Delta_F$.

Signature

A set $\mathbb{S}$ of sets of arguments is in $\mathsf{sig}(\mathsf{gr})$ iff $\lvert\mathbb{S}\rvert = 1$ (Dunne et al., 2015).