Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 3 февраля, 14:00
Где: ОНЛАЙН + трансляция на большом экране в 322АдмК

Доклад:

Александр Гагарин,
"Логика топологической достижимости"

Доклад посвящен одной логике, связанной с путями в топологических пространствах. Вводится бинарная модальность "достижимости" γ(A,B), интерпретируемая в точке x как "существует путь из x в точку, где истинно B, и во всех промежуточных точках которого истинно A". Ранее эта связка изучалась для александровских топологий и для симплициальных комплексов; две соответствующие логики разрешимы и конечно аксиоматизируемы (Bezhanishvili, Bussi, Ciancia, Fernández-Duque и Gabelaia 2024). В докладе будет рассмотрена логика всех топологий в языке с модальностями ☐A ("внутренность A") и γ(A,B), которая также оказалась конечно аксиоматизируемой и разрешимой. Для доказательства используется переход к подходящему варианту окрестностой семантики.


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

Страница семинара: https://www.mathnet.ru/rus/conf2559

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

#ВШМ_логический