Finite Intersection Property and Dynamical Compactness