tense logic

noun

1. logic the study of the logical properties of tense operators, and of the logical relations between sentences having tense, by means of consideration of appropriate formal systems