+**Temporal Logic** is a branch of [Logic](/wiki/Logic) concerned with reasoning about propositions whose truth values change over time. It extends classical logic with operators like "always" and "eventually," providing a formal framework crucial for [Program Verification](/wiki/Program_Verification) and specifying dynamic system behavior.
+## See also
+- [Modal Logic](/wiki/Modal_Logic)
+- [Formal Methods](/wiki/Formal_Methods)
+- [Automata Theory](/wiki/Automata_Theory)
... 1 more lines