The world-time parallel tense and modality in logic and metaphysics - Cresswell, M. J. (Cambridge University Press, 2012)