This paper studies the cyclical properties of optimal emission taxes and emissions using a real business cycle model with a stock pollutant. We derive conditions for the procyclicality of optimal emission tax and show that the tax is in typical conditions procyclical. The possibility of a...