RUS
ENG
Полная версия
ЖУРНАЛЫ
// Сибирские электронные математические известия
// Архив
Сиб. электрон. матем. изв.,
2022
, том 19,
выпуск 1,
страницы
316–325
(Mi semr1502)
Математическая логика, алгебра и теория чисел
Description of modal logics which enjoy co-cover property
V. V. Rimatskiy
Siberian Federal University, 79, Svobodny ave., Krasnoyarsk, 660041, Russia
Аннотация:
Here we use admissible rules to determine whenever modal logic satisfies weak co-cover property. We prove that logic
$\lambda$
over
$S4$
satisfies such property iff the given set of rules are admissible in
$\lambda$
.
Ключевые слова:
modal logic, inference rule, Kripke frame and model, admissible rule.
УДК:
51.643, 517.11
MSC:
03F25
,
03B35
Поступила
6 июня 2021 г.
, опубликована
21 июня 2022 г.
Язык публикации:
английский
DOI:
10.33048/semi.2022.19.026
Полный текст:
PDF файл (389 kB)
Список литературы
Реферативные базы данных:
©
МИАН
, 2024