Temporal logics are various forms of formal logic designed to deal with things that change over time. Many deal with a sequence of discrete states of the world rather than continuous time and build on basic propositional logic or predicate logic by adding new temporal operators. These may include always P (usually written as a square), meaning at all times from now on P will be true, and eventually P (usually written as a diamond), meaning that now or at some future time P will be true. Temporal logics are usually divided into linear time temporal logics that model times as a simpe sequence of time steps, and branching time temporal logics, which consider multiple possible futures.
Used in glossary entries: formal logic, predicate logic, propositional logic