There are several motivations for these quantifiers.
In general, a relation on natural numbers is definable by a bounded formula if and only if it is computable in the linear-time hierarchy, which is defined similarly to the [[polynomial hierarchy]], but with linear time bounds instead of polynomial.