 The interpretations given above assume that the domain of quantification is always relative to a time instant and that the same individual may exist at multiple times. To enable these interpretations, we need to introduce in the models a local domain of objects \({D}({t})\) for each time instant \(t\), to restrict the range of the quantifiers to that domain, and to identify the same object across different times.