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

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

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


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




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

Сибирский математический журнал, 2002, том 43, номер 6, страницы 1350–1361 (Mi smj1375)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Критерий наследования допустимых правил вывода $K4$

А. Н. Руцкий, Б. Р. Федоришин

Красноярский государственный университет
PDF полного текста (235 kB) Список цитирования (3)
Аннотация: Приведен критерий наследования допустимых правил вывода модальной логики $K4$ для финитно аппроксимируемых модальных логик, расширяющих $K4$. Отрицательно решен вопрос о наследовании допустимых правил  $K4$ для табличных логик. Приведен ряд примеров модальных логик, наследующих или не наследующих допустимые правила вывода $K4$.
Ключевые слова: слова: правило вывода, модальная логика, финитная аппроксимируемость, допустимое правило, фрейм.
Статья поступила: 10.01.2002
Англоязычная версия:
Siberian Mathematical Journal, 2002, Volume 43, Issue 6, Pages 1094–1102
DOI: https://doi.org/10.1023/A:1021177619829
Реферативные базы данных:
УДК: 510.643
Образец цитирования: А. Н. Руцкий, Б. Р. Федоришин, “Критерий наследования допустимых правил вывода $K4$”, Сиб. матем. журн., 43:6 (2002), 1350–1361; Siberian Math. J., 43:6 (2002), 1094–1102
Цитирование в формате AMSBIB
\RBibitem{RutFed02}
\by А.~Н.~Руцкий, Б.~Р.~Федоришин
\paper Критерий наследования допустимых правил вывода~$K4$
\jour Сиб. матем. журн.
\yr 2002
\vol 43
\issue 6
\pages 1350--1361
\mathnet{http://mi.mathnet.ru/smj1375}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1946235}
\zmath{https://zbmath.org/?q=an:1009.03014}
\transl
\jour Siberian Math. J.
\yr 2002
\vol 43
\issue 6
\pages 1094--1102
\crossref{https://doi.org/10.1023/A:1021177619829}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000180105300012}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj1375
  • https://www.mathnet.ru/rus/smj/v43/i6/p1350
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:167
    PDF полного текста:61
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024