Валентин Шехтман Модальная логика, топология и симплициальные множества (часть 2)

В докладе будет рассказано о некоторых связях современной модальной логики с «традиционной» математикой. В первой части будет дано краткое введение в модальную логику и сформулирован основной новый результат. Во второй части будет изложено его доказательство. Модальная логика изучает свойства модальностей (таких, как «необходимо» и «возможно»). Их можно интерпретировать, например, как операции внутренности и замыкания в топологических пространствах. Поэтому некоторые свойства топологических пространств удае