We examine the design of incentive-compatible screening mechanisms for dynamic environments in which the agents' types follow a (possibly non-Markov) stochastic process, decisions may be made over time and may affect the type process, and payoffs need not be time-separable. We derive a formula...