Дворкин Лев Вениаминович

Доклады и лекции в базе данных Math-Net.Ru

1. Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
   Л. В. Дворкин
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   7 октября 2024 г. 16:00   
2. О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
   Л. В. Дворкин
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   19 февраля 2024 г. 18:30   
3. О финитной аппроксимируемости одного класса предтранзитивных логик
   Л. В. Дворкин
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   12 февраля 2024 г. 18:30   
4. О логике доказуемости арифметики Нибергалля
   Лев Дворкин
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   26 сентября 2022 г. 18:30