First-Order Temporal Logic

Temporal logic can be developed from its propositional basis to a first-order predicate logic in a way analogous to how this is done in the classical case.