The logic of historical necessity as founded on two-dimensional modal tense logic Lennart Åqvist OriginalPaper Pages: 329 - 369