Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4 Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Output data | Year: 2022, Volume: 63, Number: 2, Pages: 286-298 Pages count : 13 DOI: 10.1134/S0037446622020070 | ||
| Tags | 510.64; amalgamation; characteristic formulas; decidability; interpolation; modal logic; nonclassical logics; recognizability | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
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.
Cite:
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
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
Original:
Максимова Л.Л.
, Юн В.Ф.
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
Сибирский математический журнал. 2022. Т.63. №2. С.344–359. DOI: 10.33048/smzh.2022.63.207 РИНЦ
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
Сибирский математический журнал. 2022. Т.63. №2. С.344–359. DOI: 10.33048/smzh.2022.63.207 РИНЦ
Identifiers:
| Web of science: | WOS:000778950000007 |
| Scopus: | 2-s2.0-85127608697 |
| Elibrary: | 48426192 |
| OpenAlex: | W4225983143 |
Citing:
Пока нет цитирований