tense logic

柯林斯词典

tense logic

• 1. N 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 时态逻辑[logic]

返回 tense logic