A sequence $(f_1, \ldots, f_n)$ of elements of a commutative ring $R$ is said to be regular if for each $i$, $f_i$ is not a zero divisor in $R/(f_1, \ldots, f_{i-1})$. Call a sequence dimension dropping$^1$ if for each $i$, we have $\dim R/(f_1,\ldots,f_i) = \dim R/(f_1,\ldots,f_{i-1}) - 1$ (where $\dim$ denotes the Krull dimension of a ring).
For the polynomial ring $R=\mathbb{F}_2[x_1, \ldots, x_m]$ is it true that a sequence of elements is regular if and only if it is dimension dropping?
I think one can deduce that for this ring, regular implies dimension dropping by Krull's principal ideal theorem. And I also know that dimension dropping does not imply regular for general rings: for example, if $A = \mathbb{F}_2[x,y]/(x^2,xy)$, then $y$ is a zero divisor in $A$, but $\dim A = 1 \neq 0 =\dim A/(y)$.
Note that the sequence $(x^2,xy,y)$ in $\mathbb{F}_2[x,y]$ is not a counterexample to dimension dropping implying regular for the polynomial ring: the initial portion $(x^2,xy)$ is neither regular or dimension dropping.
$^1$ This is not standard terminology; is there a standard name for this?
What you ask is true without any restrictions for nice rings like polynomial rings. So, assume you have a sequence $f_1,\ldots, f_{k-1}$ and $f_k$ is dimension dropping in your terminology. Then $\dim R/(f_1,\ldots, f_{k-1})=\dim R-k+1$ and this quotient ring is also equidimensional Cohen-Macaulay. Thus, all its associated primes are minimal and since $f_k$ is dimension dropping, it can not belong to any of the minimal primes. Thus it is a non-zero divisor.