시제 논리에서 다른 시점에서 같은 개체항을 사용할 수 있냐?

[익명(182.210)]

이것도 논리학에서 다루는 주제 아님?