 Similar questions concerning the existence of objects in time and their identity over time arise in the context of first-order temporal logics, albeit under a different guise. These questions become particularly important when it comes to the interaction of temporality and quantification. For example, the sentence “A philosopher will be a king” can be interpreted in several different ways, such  as[5] 