Logical Seminar of the Manin Laboratory
(Dolgpoprudny)

Logical Seminar of the Manin Laboratory, Dolgpoprudny
	September 17, 2025 (Wed)
	mathematical logic
1.	Об окрестностной полноте и сложности некоторых ненормальных модальных логик A. V. Kudinov September 17, 2025 14:00, Dolgpoprudny
	September 10, 2025 (Wed)
2.	Модальные предикатные логики дедекиндовых порядков M. N. Rybakov September 10, 2025 14:00, Dolgpoprudny
	April 16, 2025 (Wed)
3.	Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 1) L. V. Dvorkin April 16, 2025 14:00, Dolgpoprudny
	April 9, 2025 (Wed)
4.	Фрагменты арифметики и циклические выводы. April 9, 2025 14:00, Dolgpoprudny
	April 2, 2025 (Wed)
5.	Топологический квадрат логики S4.1 April 2, 2025 14:00, Dolgpoprudny
	March 26, 2025 (Wed)
6.	Аналоги теоремы Шепердсона для языка с экспонентой (часть 2) March 26, 2025 14:00, Dolgpoprudny
	March 19, 2025 (Wed)
7.	Аналоги теоремы Шепердсона для языка с экспонентой Kovalyov Konstantin March 19, 2025 14:00, Dolgpoprudny
	March 12, 2025 (Wed)
8.	Модальное расширение двойственной классической паранепротиворечивой логики Slusarev Ivan March 12, 2025 14:00, Dolgpoprudny
	February 26, 2025 (Wed)
	mathematical logic
9.	Semiproducts of modal logics V. B. Shehtman February 26, 2025 14:00, Dolgpoprudny
	February 19, 2025 (Wed)
10.	Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных M. N. Rybakov February 19, 2025 14:30, Dolgpoprudny