Подписаться
Римацкий Виталий Валентинович
Римацкий Виталий Валентинович
Сибирский Федеральный Университет, ИМиФИ, кафедра Высшей и прикладной математики
Подтвержден адрес электронной почты в домене sfu-kras.ru - Главная страница
Название
Процитировано
Процитировано
Год
О конечной базируемости по допустимости модальных логик ширины 
ВВ Римацкий
Алгебра и логика 38 (4), 436-455, 1999
111999
Базисы допустимых правил вывода табличных модальных логик глубины 
ВВ Римацкий
Алгебра и логика 35 (5), 612-622, 1996
101996
Independent bases for admissible rules of pretabular modal logic and its extensions
VV Rimatskii, VR Kiyatkin
Сибирские электронные математические известия 10, 79-89, 2013
92013
Decidability of multi-modal logic LTK of linear time and knowledge
AN Lukyanchuk
Журнал Сибирского федерального университета. Серия «Математика и физика» 6 …, 2013
92013
Явный базис допустимых правил вывода логик конечной ширины
ВВ Римацкий
Сибирский федеральный университет. Siberian Federal University, 2008
72008
"Explicit basis for admissible rules in K-saturated tabular logics"
R V.V.
Discrete Mathematics and Applications, , 2023, 33 (2), pp. 105-115, 2023
62023
Таблично допустимые правила вывода
ВВ Римацкий
Алгебра и логика 48 (3), 400-414, 2009
42009
Независимый базис допустимых правил вывода предтабличных логик и их расширений
ВВ Римацкий, ВР Кияткин
Сибирские электронные математические известия 10 (0), 79-89, 2013
32013
Базисы допустимых правил -насыщенных логик
ВВ Римацкий
Алгебра и логика 47 (6), 750-761, 2008
32008
Явный базис для допустимых правил K-насыщенных табличных логик Дискретная математика, 2022, 34: 1, 126–140
ВВ Римацкий
Дискретная математика 34 (1), 126-140, 2022
22022
Допустимые правила вывода и семантические свойства модальных логик
ВВ Римацкий
Известия Иркутского государственного университета. Серия: Математика 37, 104-117, 2021
12021
Аксиоматизация линейной логики знания и времени с интранзитивным отношением времени
АН Лукьянчук, ВВ Римацкий
Сибирский математический журнал 54 (6), 1304-1314, 2013
12013
An Explicit Basis for WCP-Globally Admissible Inference Rules.
VV Rimatskii
Algebra Logic 62 (2), 148-165 (https://doi.org/10.33048/algl ), 2024
2024
ADMISSIBLE INFERENCE RULES OF MODAL WCP-LOGICS
VV Rimatskiy
Siberian Mathematical Journal 65 (No.1), pp.153–166., 2024
2024
ЯВНЫЙ БАЗИС W CP -ГЛОБАЛЬНО ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА
РВ В.
Алгебра и Логика 2 (No 2), 219—246, 2024
2024
Допустимые правила вывода модальных WCP-логик
РВ Валентинович
Сибирский Математический Журнал 65 (1), 180-197, 2024
2024
Критерий глобальной допустимости в логике IPC
ВВ Римацкий
2023
Satisfiability Problem in Interval FP-logic
RVV Protsenko N. A., Rybakiov V. V.
Известия Иркутского государственного университета. Серия Математика. 44 …, 2023
2023
Явный базис WCP-глобально допустимых правил вывода
ВВ Римацкий
Алгебра и логика 62 (2), 219-246, 2023
2023
Criterion of Global Admissibility for Logic IPC
VV Rimatskiy
Журнал Сибирского федерального университета. Математика и физика 16 (5 …, 2023
2023
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20