|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2008 |
| 1. |
Vladimir V. Rybakov, Sergej V. Babenyshev, “A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents”, Журн. СФУ. Сер. Матем. и физ., 1:4 (2008), 399–409  |
|
1993 |
| 2. |
С. В. Бабенышев, “Базисы допустимых правил вывода модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$”, Алгебра и логика, 32:2 (1993), 117–130  |
|
1992 |
| 3. |
С. В. Бабёнышев, “Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС”, Алгебра и логика, 31:4 (1992), 341–359 |
4
|
|
Обратная связь: