Временная логика (Кузнецов, 2007)
ВРЕМЕННАЯ ЛОГИКА (темпоральная логика, логика времени) - раздел современной неклассической логики, исследующий логические свойства высказываний, которые содержат временной параметр (ссылку на момент или интервал времени, в который имеет место некоторая ситуация) или временного характеристику (указание на отношение одной или нескольких ситуаций ко временному ряду). Учет фактора времени позволяет при построении теории дедуктивных рассуждений реализовать важнейший методологический принцип — принцип конкретности истины.