 Thus, there are now two modal operators, namely one that “looks forwards” along the accessibility relation and one that “looks backwards”. In tense logic the elements of the set \(W\) are called moments or instants and the relation \(R\) is called the earlier-later relation.