论文标题
S4的书记延伸统一
Unification in pretabular extensions of S4
论文作者
论文摘要
L.L. Maksimova和L. Esakia，V。Meskhi表明，模态逻辑S4完全具有5个谱列前扩展：PM1-PM5。在本文中，我们研究并系统化所有给定的书记逻辑的统一问题。我们表明，PM2，PM3具有限制性和PM1，PM4，PM5具有统一类型的统一。描述了逻辑中完整的统一器集。
L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions: PM1-PM5. In this paper, we study and systematize the problem of unification for all given pretabular logics. We showed that PM2,PM3 have finitary, and PM1,PM4,PM5 have unitary types of unification. Complete sets of unifiers in logics are described.
