Comparing semantics for temporal STIT logic