Доклады:

• Т.Ю. Зверева - Связь с логиками первого и второго порядков.
• Е.А. Донец - Вложение логики Int в нормальную модальную логику S4.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.