Темпоральная логика

Темпоральная логика Темпоральная логика — это логика, в высказываниях которой учитывается временной аспект.Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.В древности теории темпоральных логик изучали философы мегарской школы, в частности Диодор Крон, и стоики.Современная темпоральная логика была разработана в 1950-х Артуром Приором на основе модальной логики и получила дальнейшее развитие в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли. ❂видео ориентированы на слепых пользователей ❂Текст доступен по CC-BY-SA ❂источник изображения внутри видео