Кошелева Анна Владимировна

Публикации в базе данных Math-Net.Ru

1. Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
   
   Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  56–74
2. Projective formulas and unification in linear discrete temporal multi-agent logics
   
   Сиб. электрон. матем. изв., 13 (2016),  923–929
3. Non-unifiability in linear temporal logic of knowledge with multi-agent relations
   
   Сиб. электрон. матем. изв., 13 (2016),  656–663
4. Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках
   
   Алгебра и логика, 44:4 (2005),  438–458