|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
Vladimir R. Kiyatkin, Anna V. Kosheleva, “Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 56–74   |
|
2016 |
| 2. |
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929   |
3
|
| 3. |
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016), 656–663 |
2
|
|
2005 |
| 4. |
А. В. Кошелева, “Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках”, Алгебра и логика, 44:4 (2005), 438–458  ; A. V. Kosheleva, “Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics”, Algebra and Logic, 44:4 (2005), 243–255 |
|
Обратная связь: