Anna Kosheleva (Анна Владимировна Кошелева)

Anna Kosheleva (Анна Владимировна Кошелева)

Siberian Federal University - Krasnoyarsk / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4859754
Сибирский федеральный университет
person_outline Anna Kosheleva (Анна Владимировна Кошелева)'s MOST POPULAR ARTICLES
1-) Non-unifiability in linear temporal logic of knowledge with multi-agent relationsS Bashmakov, A Kosheleva, V RybakovSiberian Electronic Mathematical Reports 13, 656-663, 2016132016
2-) Logic of visibility, perception, and knowledge and admissible inference rulesMI Golovanov, AV Kosheleva, V RybakovLogic Journal of the IGPL 13 (2), 201-209, 2005112005
3-) Projective formulas and unification in linear discrete temporal multi-agent logicsSI Bashmakov, AV Kosheleva, VV RybakovSiberian Electronic Mathematical Reports 13 (0), 923-929, 201692016
4-) Unification for multi-agent temporal logics with universal modalitySI Bashmakov, A Kosheleva, V RybakovJ. of Logics and their Application 4, 939-954, 201762017
5-) Разрешимость проблемы допустимости правил вывода в некоторых -логикахАВ КошелеваАлгебра и логика 44 (4), 438-458, 200522005