Тип публикации: статья из журнала
Год издания: 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)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.