Title: Worlds, times, and selves
Subjects: Tense (Logic), Modality (Logic), Predicate calculus, Calculus