On the logical analysis of tense and aspect (Narr, 1977)