Abstract We study the mod p r {p^{r}} Milnor K -groups of p -adically complete and -henselian rings, establishing in particular a Nesterenko–Suslin-style description terms range syntomic cohomology. In case smooth schemes over discrete valuation rings we prove Gersten conjecture for -the...