There are several axiomatic systems of temporal logic (aka tense logic). You can find more e.g. in Hodkinson and Reynold’s chapter in the Handbook of Modal Logic, in this introduction by Venema, or, from a more philosophical standpoint, in SEP.