Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4 | Sciact - Система учета научной деятельности ИМ СО РАН

Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4 Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2022, Том: 63, Номер: 2, Страницы: 286-298 Страниц : 13 DOI: 10.1134/S0037446622020070

Ключевые слова

510.64; amalgamation; characteristic formulas; decidability; interpolation; modal logic; nonclassical logics; recognizability

Авторы

Maksimova L.L. ¹ , Yun V.F. ¹

Организации

1	Sobolev Institute of Mathematics, Novosibirsk, Russian Federation

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0011

We consider the restricted interpolation property IPR in modal logics. Earlier,the decidability of IPR over the modal logic S4 was proved and a finite list was found thatcontains all logics that can possess IPR over S4. However, this list containssome undue logics. The present article gives examples of the logics. © 2022, Pleiades Publishing, Ltd.

Maksimova L.L. , Yun V.F.
Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
Siberian Mathematical Journal. 2022. V.63. N2. P.286-298. DOI: 10.1134/S0037446622020070 WOS Scopus РИНЦ OpenAlex

Максимова Л.Л. , Юн В.Ф.
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
Сибирский математический журнал. 2022. Т.63. №2. С.344–359. DOI: 10.33048/smzh.2022.63.207 РИНЦ

Web of science:	WOS:000778950000007
Scopus:	2-s2.0-85127608697
РИНЦ:	48426192
OpenAlex:	W4225983143

Пока нет цитирований