Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4

Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4 Full article

Journal

Сибирский математический журнал
ISSN: 0037-4474

Output data

Year: 2022, Volume: 63, Number: 2, Pages: 344–359 Pages count : DOI: 10.33048/smzh.2022.63.207

Authors

Maksimova Larisa Lʹvovna ¹ , Yun Veta Fedorovna ¹

Affiliations

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

Funding (1)

Sobolev Institute of Mathematics

FWNF-2022-0011

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

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

Elibrary:

50265085

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