Временна́я ло́гика, раздел современной модальной логики, изучающий логические связи временны́х утверждений (в которых временной параметр включается в логическую форму). Временна́я логика возникла в 1950-х гг. (работы логика А. Н. Прайора), хотя первые попытки учесть роль времени в логическом выводе относятся ещё к Античности (Аристотель, Диодор Крон). Временна́я логика включает множество логических систем (логик), распадающихся на две группы: 1) A-логики времени, рассматривающие временны́е утверждения, истинностное значение которых может быть разным в разные моменты времени (утверждения с переменным моментом отнесения, в качестве которого обычно выступает «настоящее», т. е. момент произнесения утверждения: «Гремит гром» и т. п.); 2) B-логики времени, имеющие дело с временны́ми утверждениями, истинностное значение которых не меняется с течением времени («Гегель родился в 1770 г.», «Плотин жил раньше Боэция» и т. п.). A-логики ориентированы на временной ряд «прошлое – настоящее – будущее», B-логики – на временной ряд «раньше – одновременно – позже». Последние рассматривались главным образом в контексте конкретных проблем, связанных с формализацией фрагментов физики, биологии, апорий Зенона Элейского и др. (Р. Карнап, Дж. Вуджер, С. Шираиши). A-логики обычно формулируются в терминах «было», «есть» и «будет». Утверждениями, доказуемыми в расширениях т. н. минимальных временны́х логик, предполагаются определённые эмпирические свойства времени (такие, как его бесконечность или конечность, плотность или дискретность). Предложенная Г. Х. фон Вригтом логика времени с двуаргументным оператором «и затем» может интерпретироваться также как логика изменения.

Временна́я логика нашла многочисленные приложения в анализе естественного языка, в исследованиях в области искусственного интеллекта, в компьютерных науках.