Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирские электронные математические известия, 2022, том 19, выпуск 1, страницы 316–325
DOI: https://doi.org/10.33048/semi.2022.19.026 (Mi semr1502) 		 
Математическая логика, алгебра и теория чисел

Description of modal logics which enjoy co-cover property

V. V. Rimatskiy

Siberian Federal University, 79, Svobodny ave., Krasnoyarsk, 660041, Russia
PDF полного текста (389 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2022.19.026
Аннотация: 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.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
The work is supported by RFBR and KRFN (grant 18-41-240005).
Поступила 6 июня 2021 г., опубликована 21 июня 2022 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 51.643, 517.11
MSC: 03F25, 03B35
Язык публикации: английский
Образец цитирования: V. V. Rimatskiy, “Description of modal logics which enjoy co-cover property”, Сиб. электрон. матем. изв., 19:1 (2022), 316–325
Цитирование в формате AMSBIB
\RBibitem{Rim22}
\by V.~V.~Rimatskiy
\paper Description of modal logics which enjoy co-cover property
\jour Сиб. электрон. матем. изв.
\yr 2022
\vol 19
\issue 1
\pages 316--325
\mathnet{http://mi.mathnet.ru/semr1502}
\crossref{https://doi.org/10.33048/semi.2022.19.026}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4449218}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1502
  • https://www.mathnet.ru/rus/semr/v19/i1/p316
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:75
    PDF полного текста:25
    Список литературы:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024