A Finitary Language Semantics for Propositional Linear Temporal Logic