TG Telegram Group & Channel
ВШМ МФТИ | United States America (US)
Create: Update:

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

Когда: среда 4 июня, 14:00
Где: Адм. корпус, ауд.322.

Доклад:

В.Б. Шехтман, А.В. Кудинов,
"О семантической полноте суперинтуиционистских и модальных логик"

Суперинтуиционистские логики были одним из основных направлений исследований А.В. Кузнецова, и проблемы полноты играют в этом контексте ключевую роль. В частности, Кузнецов поставил проблему о совпадении полноты по Крипке и топологической полноты. В статье Шехтмана "On Neighbourhood Semantics Thirty Years Later, 2005“ приведен контрпример, доказывающий, что топологическая полнота сильнее, чем семантика Крипке, но без явной аксиоматизации. Такие же примеры известны для модальных логик, содержащих S4. В докладе обсуждаются другие аналогичные примеры для суперинтуиционистских и модальных логик. В частности, будет дан пример конечно аксиоматизируемой модальной логики с 3 модальностями, которая полна в окрестностной семантике относительно счетной шкалы, но неполна в семантике Крипке.


Планируется интернет-трансляция по адресу https://telemost.yandex.ru/j/00084330909943

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

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

Когда: среда 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<<

ВШМ МФТИ




Share with your best friend
VIEW MORE

United States America Popular Telegram Group (US)