Non-unifiability in linear temporal logic of knowledge with multi-agent relations S Bashmakov, A Kosheleva, V Rybakov Siberian Electronic Mathematical Reports 13, 656-663, 2016 | 15 | 2016 |
Logic of visibility, perception, and knowledge and admissible inference rules MI Golovanov, AV Kosheleva, V Rybakov Logic Journal of the IGPL 13 (2), 201-209, 2005 | 12 | 2005 |
Projective formulas and unification in linear discrete temporal multi-agent logics SI Bashmakov, AV Kosheleva, VV Rybakov Siberian Electronic Mathematical Reports 13 (0), 923-929, 2016 | 9 | 2016 |
Unification for multi-agent temporal logics with universal modality SI Bashmakov, A Kosheleva, V Rybakov J. of Logics and their Application 4, 939-954, 2017 | 6 | 2017 |
Разрешимость проблемы допустимости правил вывода в некоторых -логиках АВ Кошелева Алгебра и логика 44 (4), 438-458, 2005 | 2 | 2005 |
К истории строительства здания управляющего Томским имением Алтайского округа ведомства Кабинета Его Императорского Величества в п. Ново-Николаевском АВ Кошелев Сохранение и изучение культурного наследия Алтайского края, 268-278, 2020 | 1 | 2020 |
Унификация во временных многоагентных логиках с универсальной модальностью СИ Башмаков, АВ Кошелева, ВВ Рыбаков Mathematics in the Modern World, 67-67, 2017 | 1 | 2017 |
Линейные транзитивные логики знания и времени, унификация и проективные формулы СИ Башмаков, АВ Кошелева, ВВ Рыбаков Барнаул: Издательство Алтайского государственного университета, 2017 | 1 | 2017 |
Unification through the projective formulas in linear discrete temporal logics of knowledge SI Bashmakov, AV Kosheleva, V Rybakov МАЛЬЦЕВСКИЕ ЧТЕНИЯ 2016, 218-218, 2016 | 1 | 2016 |
On Unification and Passive Rules in Multi-modal Temporal Logic of Linear Time and Knowledge LFPK SI Bashmakov, AV Kosheleva, VV Rybakov А456 Алгебра и логика: теория и приложения: тез. докл. Междунар., 88, 2016 | 1 | 2016 |
Journal of Siberian Federal University. Mathematics & Physics VR Kiyatkin, AV Kosheleva JOURNAL OF SIBERIAN FEDERAL UNIVERSIT. MATHEMATICS AND PHYSICS Учредители …, 2022 | | 2022 |
Томское имение Алтайского округа ведомства Кабинета Его Императорского Величества: границы, структура управления, управляющие АВ Кошелев Сохранение и изучение культурного наследия Алтайского края, 54-62, 2021 | | 2021 |
Satisfiability in a temporal multi-valueted logic based on Z VR Kiyatkin, AV Kosheleva | | 2021 |
Выполнимость во временной логике с мультиозначиванием, основанной на Z ВР Кияткин, АВ Кошелева | | 2020 |
Основы топологии АВ Кошелева, АА Кытманов Цифровая платформа обмена знаниями и управлениями авторскими правами …, 2019 | | 2019 |
Правила вывода многомодальных логик АВ Кошелева Сибирский федеральный университет, 2007 | | 2007 |
РАЗРЕШИМОСТЬ ПО ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА НЕКОТОРЫХ ЛИНЕЙНЫХ ЛОГИК АВ Кошелева Вестник Сибирского Федерального Университета, 59, 2006 | | 2006 |
Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics AV Kosheleva Algebra and Logic 44, 243-255, 2005 | | 2005 |
ؤس آسظضز ذ س ط ء بؤ DS Bridges, R Hirsch, P Mateus, J Rasga, C Sernadas, MI Golovanov, ... | | |