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

Аннотация доклада:
Дается синтаксическое и семантическое описание рассматриваемых логик, анализ известных результатов Л. Максимовой, Л. Эсхакиа, А. Чагрова, В. Рыбакова. Известно, что модальные системы PM1 и PM5 соответствуют логикам S4.3 и S5. Рассматриваются известные результаты теории унификации для этих логик. Предлагаются перспективы исследований.