Термин временная логика широко употребляется как покрывающий все подходы к представлению временной информации в рамках логической системы, и более узко - ссылаясь конкретно на подход на основе модальной логики, введ¼нный около 1960 года Артуром Приором под именем Tense logic и впоследствии развитый логиками и информатиками.
Применения временной логики включают её использование в качестве формализма для прояснения философских вопросов касательно времени, в качестве логического каркаса , внутри которого определяется семантика временных высказываний естественного языка, в качестве языка для кодирования временного знания в области искусственного интеллекта и в качестве инструмента для работы с временными аспектами выполнения компьютерных программ.
http://philosophy.ru/library/katr/referat/ref_temporal_logic_kashev.pdf
.JPG)
