Matthew West wrote:
[MW>] The important thing to take from this is not that it is too difficult, but that you need to think about how time relates to the requirements you
are trying to meet, and make sure you have a model that is fit for purpose. A particularly bad approach is to start with a current state model and then try to add change, history and time later.
I have had relatively recent experience with a standards group that attempted to do exactly what Matthew describes, and ended up with inconsistent models of
proposition, state, actuality and truth. Time can change the truth value of static ‘propositions’, which means that your usage, your model, and/or your logic (and its model theory) have to deal with that. That is why you have to read some of the literature.