|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2015 |
| 1. |
А. Н. Лукьянчук, В. В. Рыбаков, “Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015), 573–593    ; A. N. Luk'yanchuk, V. V. Rybakov, “Admissible inference rules in the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Siberian Math. J., 56:3 (2015), 455–470   |
|
2013 |
| 2. |
Alexandra N. Lukyanchuk, “Decidability of multi-modal logic $LTK$ of linear time and knowledge”, Журн. СФУ. Сер. Матем. и физ., 6:2 (2013), 220–226 |
5
|
| 3. |
А. Н. Лукьянчук, В. В. Римацкий, “Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 54:6 (2013), 1304–1314 ; A. N. Luk'yanchuk, V. V. Rimatskiǐ, “An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Siberian Math. J., 54:6 (2013), 1037–1045 |
3
|
|
Обратная связь: