Темпоральная логика
Темпоральная логика ("временна́я логика"; ) — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.

В древности применение логики во временно́м аспекте изучали философы мегарской школы, в частности Диодор Крон, и стоики. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы на основе модальной логики, наибольшее распространение и развитие получила в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли.
Q8078
логика
Concept
Q93437238
высказываниях
Concept
Q1145454
мегарской школы
Concept
Q715478
Диодор Крон
PER
Q48235
стоики
Concept
Q210841
модальной логики
Concept
Q21198
информатике
Concept
Q185667
Тьюринговской премии
EVE
Q92649
Амира Пнуэли
PER
Q781833
Темпоральная логика
Concept
1950-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 1950
DATE
field of work
field of work
award received