Неклассические логики 2024 #5

Лекция по неклассическим логикам. Начало 14 марта в 9:30. Темы: разрешающая процедура для системы 4 модальной логики, многозначная логика, нечеткие множества.