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 S 5t -Logics AV Kosheleva
Algebra and Logic 44, 243-255, 2005
2005 ؤس آسظضز ذ س ط ء بؤ DS Bridges, R Hirsch, P Mateus, J Rasga, C Sernadas, MI Golovanov, ...