A Logic-based Decomposition Approach for Multi-Period Network Interdiction Models. (September 2019)