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



Реферативные базы данных:


© МИАН, 2024