tense logic

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

Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012