Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
