 As we mentioned earlier, there are two natural approaches to quantification in temporal logic: presentist quantification and eternalist quantification. Technically, presentist quantification amounts to quantification over the local domain at the given time instant whereas eternalist quantification is construed as quantification over the global domain. The respective semantic clauses for the dual \(\exists\) of \(\forall\) accordingly read as follows: