Семинар Добрушинской лаборатории

Когда: вторник 17 февраля, 16:15
Где: Адм.корпус, ауд.322.

Доклад:

Валентин Шехтман (МФТИ),
"Временные логики // Temporal logics"

Временные логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики — это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик, поскольку понятие времени допускает различные формализации, а выбор логических связок во временных логиках неоднозначен.

В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.


Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_Добрушинский