Some applications of selected extensions of tense logic in natural sciences

Abstract

In the article an issue of applicability of tense logic in natural sciences is addressed. I argue that if one reaches the limits of applications of tense logic, then, in some cases, it is possible to apply some extensions of tense logic. Among examples of such systems is the metric tense logic which enables one to express how many units of time have passed since the occurrence of an event, or how many units of time will pass until the event will take place. Another example is the logic with operators Since and Until, which allows to express time dependences of occurring one event upon the occurrence of an another event.