Тип публикации: статья из журнала

Год издания: 2021

Идентификатор DOI: 10.1007/s11787-021-00287-0

Ключевые слова: Finitary, ground unifier, Kripke semantics, Pretabular logic, Projective formula, unification, unitary

Аннотация: 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 the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are describedПоказать полностью.

Журнал: Logica Universalis

Выпуск журнала: Т. 15, № 3

Номера страниц: 381-397

ISSN журнала: 16618297

• Bashmakov S.I. (Institute of Mathematics and Computer Science,Siberian Federal University)

• Ядро РИНЦ (eLIBRARY.RU)