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

СЕМИНАРЫ

Логический семинар лаборатории им. Манина
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный, г. Москва

Тематика семинара: Математическая логика и смежные области

RSS: Ближайшие семинары

Руководитель семинара
Шехтман Валентин Борисович

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

математическая логика

Об окрестностной полноте и сложности некоторых ненормальных модальных логик А. В. Кудинов 17 сентября 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Модальные предикатные логики дедекиндовых порядков М. Н. Рыбаков 10 сентября 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 1) Л. В. Дворкин 16 апреля 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Фрагменты арифметики и циклические выводы. Смирнов Иван 9 апреля 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Топологический квадрат логики S4.1 Кащенко Антон 2 апреля 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Аналоги теоремы Шепердсона для языка с экспонентой (часть 2) Константин Ковалев 26 марта 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Аналоги теоремы Шепердсона для языка с экспонентой Ковалев Константин 19 марта 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Модальное расширение двойственной классической паранепротиворечивой логики Слюсарев Иван Юрьевич 12 марта 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный

математическая логика

Полупроизведения модальных логик В. Б. Шехтман 26 февраля 2025 г. 14:00 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный
Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных М. Н. Рыбаков 19 февраля 2025 г. 14:30 г. Москва, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный