Temporal Logic Temporal Logic [plato, wp] and The Temporal Logic of Actions To get a full sense of an event, a “tense” is mandatory. Share this:TwitterFacebookLinkedInPocketEmailPrintLike this:Like Loading... Published by bact bact' is a name View all posts by bact