I am trying to put together a set of problems that could be clarified or described by temporal logic approach, in the way Prior tried to apply it on the problem of determinism and indeterminism. Any ideas? There are different approaches to temporal logic and I am not sure if any other author tried something similar, i.e. Cocchiarela, etc... If anybody stumbled upon an article discussing such topic, I have gathered quite substantial number of them, but there might be some evading my gaze.