Stepan I. Bashmakov
Stepan I. Bashmakov
Siberian Federal University, Institute of Mathematics and Computer Science
Подтвержден адрес электронной почты в домене sfu-kras.ru - Главная страница
НазваниеПроцитированоГод
Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
SI Bashmakov
Journal of Siberian Federal University. Math. & Phys. 9 (2), 149-157, 2016
102016
Non-unifiability in linear temporal logic of knowledge with multi-agent relations
SI Bashmakov, AV Kosheleva, V Rybakov
Siberian Electronic Mathematical Reports 13, 656–663, 2016
72016
Projective formulas and unification in linear discrete temporal multi-agent logics
SI Bashmakov, AV Kosheleva, VV Rybakov
Siberian Electronic Mathematical Reports 13, 923-929, 2016
42016
Unification for Multi-Agent Temporal Logics with Universal Modality
SI Bashmakov, AV Kosheleva, VV Rybakov
IfCoLog Journal of Logics and their Applications 4 (4), 939-954, 2017
32017
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
SI Bashmakov
Journal of Siberian Federal University. Math. & Phys. 11 (1), 3-9, 2018
22018
Унификация во временных многоагентных логиках с универсальной модальностью
СИ Башмаков, АВ Кошелева, ВВ Рыбаков
Междунар. конф. "Математика в современном мире" посвящ. 60-летию Института …, 2017
12017
Линейные транзитивные логики знания и времени, унификация и проективные формулы
СИ Башмаков, АВ Кошелева, ВВ Рыбаков
Всерос. конф. «Математики – Алтайскому краю», 6-7, 2017
12017
Вопрос унификации и базис пассивных правил в многомодальной логике LTK
СИ Башмаков
ЛОМОНОСОВ-2016, 38-39, 2016
12016
On Unification and Passive Rules in Multi-modal Temporal Logic of Linear Time and Knowledge LFPK
SI Bashmakov, AV Kosheleva, VV Rybakov
Internat. conf. "Algebra and Logic: Theory and Applications", 88, 2016
12016
Вопросы унификации в предтабличных расширениях S4
СИ Башмаков
Internat. conf. "Mal'tsev Meeting” (Novosibirsk, November 19–22, 2018), 222, 2018
2018
Унификационная проблема в предтабличной модальной логике PM2
СИ Башмаков
Логико-философские штудии 16 (1-2), 97-98, 2018
2018
Unification in linear multi-modal logic of knowledge and non-transitive time
SI Bashmakov
Handbook of the 6th World Congress and School on Universal Logic, 229, 2018
2018
Диссертация: Временные многоагентные логики и проблема унификации
СИ Башмаков
Сибирский федеральный университет, 2017
2017
Projective unification for linear non-transitive temporal logic with the operator of universal modality
SI Bashmakov
Internat. conf. "Mal'tsev Meeting” (Novosibirsk, November 20–23, 2017), 174, 2017
2017
Унификация во временных логиках
СИ Башмаков, АВ Кошелева
5-я школа-семинар "Синтаксис и семантика логических систем", 20-25, 2017
2017
Аксиоматизация интуиционистских логик, определяемых малыми фреймами
СИ Башмаков, МИ Голованов
Математические заметки СВФУ 24 (1), 6–15, 2017
2017
Unification through the projective formulas in linear discrete temporal logics of knowledge
SI Bashmakov, AV Kosheleva, VV Rybakov
Internat. conf. "Mal'tsev Meeting” (Novosibirsk, November 21–25, 2016), 218, 2016
2016
Унификация в многомодальной логике LTK
СИ Башмаков
54-я МНСК-2016, Новосибирск, 16-20 апреля 2016 г., 6, 2016
2016
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
СИ Башмаков
2016
Сборник XI школы-конференции по теории групп
СИ Башмаков, ИН Зотов, ВМ Левчук, ЯН Нужин, А Созутов
СФУ, 2016
2016
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20