Логический семинар лаборатории им. Манина
Когда: среда 4 июня, 14:00
Где: Адм. корпус, ауд.322.
Доклад:
В.Б. Шехтман, А.В. Кудинов,
"О семантической полноте суперинтуиционистских и модальных логик"
Суперинтуиционистские логики были одним из основных направлений исследований А.В. Кузнецова, и проблемы полноты играют в этом контексте ключевую роль. В частности, Кузнецов поставил проблему о совпадении полноты по Крипке и топологической полноты. В статье Шехтмана "On Neighbourhood Semantics Thirty Years Later, 2005“ приведен контрпример, доказывающий, что топологическая полнота сильнее, чем семантика Крипке, но без явной аксиоматизации. Такие же примеры известны для модальных логик, содержащих S4. В докладе обсуждаются другие аналогичные примеры для суперинтуиционистских и модальных логик. В частности, будет дан пример конечно аксиоматизируемой модальной логики с 3 модальностями, которая полна в окрестностной семантике относительно счетной шкалы, но неполна в семантике Крипке.
Планируется интернет-трансляция по адресу https://telemost.yandex.ru/j/00084330909943
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на семинар ВШМ, и предъявите паспорт.
>>Click here to continue<<