| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ
|
|||
|
|
|||
|
Временные логики В. Б. Шехтман Московский физико-технический институт (национальный исследовательский университет), Московская область, г. Долгопрудный |
|||
|
Аннотация: Временные логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик, поскольку понятие времени допускает различные формализации, а выбор логических связок во временных логиках неоднозначен. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений. |
|||