This paper considers dynamic time series binary choice models. It shows in a time series setting the validity of the dynamic probit likelihood procedure when lags of the dependent binary variable are used as regressors, and it establishes the asymptotic validity of Horowitz' smoothed maximum...