Is There a Difference Between the Future Tenses?

i'm not sure how it helps to add a blue line. If that's the definition, you're going to run into the same problem again when you go back in time. i think at the moment, i 'm not understanding what the the precise proposal would be. I soi, i think to evaluate the proposal adequately, i need to see, um, an actual definition,. tho we could then calculate to see if it had a weird consequence. Am ok. But what's going on here is we've got a temporal and modal logic. We've also got temporal operators. So we want a definition of the future tense, t which is justan the model itself is related