Linear, Branching Time and Joint Closure Semantics for Temporal Logic