Темпоральная логика
Sign in to savesystem for representing and reasoning about time
Wikidata facts
- Subclass of
- mathematical logic
Show 3 more facts
- topic's main category
- Category:Temporal logic
- Commons category
- Temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/temporal-logic
Sources (2)
via Wikidata · CC0
Article · Русский
Темпоральная логика (временна́я логика; англ. temporal logic) — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. В древности применение логики во временно́м аспекте изучали философы мегарской школы, в частности Диодор Крон, и стоики. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы на основе модальной логики, наибольшее распространение и развитие получила в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли.
Abstract from DBpedia / Wikipedia · CC BY-SA