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

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

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


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




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

Известия Российской академии наук. Серия математическая, 2017, том 81, выпуск 3, страницы 134–159
DOI: https://doi.org/10.4213/im8476 (Mi im8476) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

О разбиениях шкал Крипке конечной высоты

А. В. Кудиновabc, И. Б. Шапировскийa

a Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, г. Москва
b Национальный исследовательский университет "Высшая школа экономики", г. Москва
c Московский физико-технический институт (государственный университет), г. Долгопрудный Московской обл.
PDF полного текста (655 kB) PDF английской версии (390 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/im8476
Аннотация: В работе доказана финитная аппроксимируемость и разрешимость одного семейства модальных логик. Бинарное отношение $R$ назовем предтранзитивным, если $R^*=\bigcup_{i\leqslant m} R^i$ для некоторого $m\geqslant 0$, где $R^*$ – транзитивное рефлексивное замыкание $R$. Под высотой шкалы $(W,R)$ будем понимать высоту предпорядка $(W,R^*)$. Построены специальные разбиения (фильтрации) предтранзитивных шкал конечной высоты, из чего следует финитная аппроксимируемость и разрешимость их модальных логик.
Библиография: 30 наименований.
Ключевые слова: модальная логика, финитная аппроксимируемость, разрешимость, предтранзитивное отношение, конечная высота.
Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00150
Исследование выполнено в ИППИ РАН за счет гранта Российского научного фонда (проект № 14-50-00150).
Поступило в редакцию: 19.11.2015
Англоязычная версия:
Izvestiya: Mathematics, 2017, Volume 81, Issue 3, Pages 592–617
DOI: https://doi.org/10.1070/IM8476
Реферативные базы данных:
УДК: 510.643
MSC: 03B45
Образец цитирования: А. В. Кудинов, И. Б. Шапировский, “О разбиениях шкал Крипке конечной высоты”, Изв. РАН. Сер. матем., 81:3 (2017), 134–159; Izv. Math., 81:3 (2017), 592–617
Цитирование в формате AMSBIB
\RBibitem{KudSha17}
\by А.~В.~Кудинов, И.~Б.~Шапировский
\paper О~разбиениях шкал Крипке конечной высоты
\jour Изв. РАН. Сер. матем.
\yr 2017
\vol 81
\issue 3
\pages 134--159
\mathnet{http://mi.mathnet.ru/im8476}
\crossref{https://doi.org/10.4213/im8476}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3659549}
\zmath{https://zbmath.org/?q=an:1371.03025}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2017IzMat..81..592K}
\elib{https://elibrary.ru/item.asp?id=29254886}
\transl
\jour Izv. Math.
\yr 2017
\vol 81
\issue 3
\pages 592--617
\crossref{https://doi.org/10.1070/IM8476}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000408479100006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85025475493}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im8476
  • https://doi.org/10.4213/im8476
  • https://www.mathnet.ru/rus/im/v81/i3/p134
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:489
    PDF русской версии:98
    PDF английской версии:22
    Список литературы:58
    Первая страница:23
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024