We provide necessary and sufficient conditions for the local identification of the finite dimensional parameters in a semiparametric dynamic discrete choice model under additive separability and conditional independence assumption (Rust (1987)). We show that the policy value approach commonly...