Доклад Башмакова С. И. - «Унификация в предтабличных модальных логиках».

Аннотация доклада.
В докладе будет сделан обзор известных результатов теории унификации для различных предтабличных модальных логик, расширяющих K4, S4 и другие системы.