noun 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