Tense Logic for Discrete Future Time.

Patrick Schindler Tense Logic for Discrete Future Time. 105-118 1970 35 J. Symb. Log. 1 db/journals/jsyml/jsyml35.html#Schindler70