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

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

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


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




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

Алгебра и логика, 2005, том 44, номер 4, страницы 438–458 (Mi al125)  
Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках

А. В. Кошелева

Красноярский государственный университет
PDF полного текста (248 kB)
Список литературы:
PDF
HTML
Аннотация: Исследуются на разрешимость по допустимости правил вывода некоторые многомодальные логики, расширяющие $S5_t$, $t\in N$, и для исследуемых логик доказывается алгоритмический критерий определения допустимости правил вывода.
Ключевые слова: правило вывода, проблема допустимости, разрешимость, многомодальная логика.
Поступило: 05.08.2004
Англоязычная версия:
Algebra and Logic, 2005, Volume 44, Issue 4, Pages 243–255
DOI: https://doi.org/10.1007/s10469-005-0024-x
Реферативные базы данных:
УДК: 510.643
Образец цитирования: А. В. Кошелева, “Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках”, Алгебра и логика, 44:4 (2005), 438–458; Algebra and Logic, 44:4 (2005), 243–255
Цитирование в формате AMSBIB
\RBibitem{Kos05}
\by А.~В.~Кошелева
\paper Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках
\jour Алгебра и логика
\yr 2005
\vol 44
\issue 4
\pages 438--458
\mathnet{http://mi.mathnet.ru/al125}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2188933}
\zmath{https://zbmath.org/?q=an:1106.03013}
\transl
\jour Algebra and Logic
\yr 2005
\vol 44
\issue 4
\pages 243--255
\crossref{https://doi.org/10.1007/s10469-005-0024-x}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-23944453865}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al125
  • https://www.mathnet.ru/rus/al/v44/i4/p438
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:266
    PDF полного текста:106
    Список литературы:47
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024