The objective of this paper is to study detectability, observability and related Lyapunov-type theorems of linear discrete-time time-varying stochastic systems with multiplicative noise. Some new concepts such as uniform detectability, K ∞ -exact detectability (resp. K W F T -exact detectability, K F T -exact detectability, K N -exact detectability) and K ∞ -exact observability (resp. K W F T -exact observability, K F T -exact observability, K N -exact observability) are introduced, respectively, and nice properties associated with uniform detectability, exact detectability and exact observability are also obtained. Moreover, some Lyapunov-type theorems associated with generalized Lyapunov equations and exponential stability in mean square sense are presented under uniform detectability, K N -exact observability and K N -exact detectability, respectively.