Модальная логика 2021 №07. Теорема Макинсона. Табличные логики. Критерий Чагрова | Евгений Золин

2020.11.06 Теорема Макинсона. Критерий Чагрова табличности логики. Конечная аксиоматизируемость логики всякой конечной шкалы. Годовой спецкурс. Конспекты и слайды — на сайте: http://lpcs.math.msu.su/~zolin/ml/