Доклад Башмакова С. И. - «Полные наборы унификаторов в предтабличной модальной логике PM3».

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