22433 | It is important that the quantification over temporal entities is timeless [Quine] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
13113 | F: will sometime, P: was sometime, G: will always, H: was always [Fitting/Mendelsohn] |
13714 | We can treat modal worlds as different times [Sider] |