Unification in Pretabular Extensions of S4 : научное издание

Описание

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

Год издания: 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)

Вхождение в базы данных