Temporal Logic

I was at Berkeley in 1954 when “temporal logic” was newish and hot in some sectors. It then meant an extension of sentential logic and there were many competing proposed axiom sets for variations of purpose. I sidestepped the whole field; to me goal was the immutable math whose sentential logic was dramatically simpler.

It seems temporal logic is back via trying to understand computers. It seems it has never disappeared. Perhaps it has found an important niche. I was already interested in computers in 1954 but I had no idea then that the semantics of a program would sometimes be so important; I made no connection.

This paper brought the (for me) fragmentary art back to me. Mark Miller brought it to my attention. An Older Talk. Corresponding old paper

The “Logic” in this “Temporal Logic” seems to come down via electrical engineering; yet relevant.

I cannot find a clear description of the semantics or axiomatics of any particular temporal logic. A model would help perhaps.