Temporal logic systems can be based on propositional logic or on first order logic. On both cases operators are added to represent the past (P and H) and the future (F and G). It is also possible to include operators to represent intervals. The most common semantics is based on the notion of moment. These moments are organized through an ulteriority relation (before/after). Hence, if I claim that m₀ < m₁ I am claiming that moment m₀ is previous to moment m₁. This ulteriority relation has different properties depending on the type of time we are working with, although it is always irreflexive. Thus, for instance, if time is transitive, the ulteriority relation will have the transitive property and syntactically transitivity axioms will be introduced ( FFA®FA and PPA®PA).

There are multimodal and bidimensional systems of temporal logic, such as the system of indeterministic time HN1, which combines temporal and modal operators and in whose semantic, evaluation is made in two indices (moment and history).

Presently, hybrid temporal logic systems are being developed. These systems increase the expressive power of temporal logic, because they allow making reference in the syntax to the moments.