Papers on time and tense /
Prior, Arthur Norman.
Oxford : Clarendon P.,
1968.
Includes bibliography (p. 161-164) and index.
Modality (Logic)
Tense (Logic)