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

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