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

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

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



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






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


Изв. РАН. Сер. матем., 2017, том 81, выпуск 3, страницы 134–159 (Mi izv8476)  

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

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

a Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, г. Москва
b Национальный исследовательский университет "Высшая школа экономики", г. Москва
c Московский физико-технический институт (государственный университет), г. Долгопрудный Московской обл.

Аннотация: В работе доказана финитная аппроксимируемость и разрешимость одного семейства модальных логик. Бинарное отношение $R$ назовем предтранзитивным, если $R^*=\bigcup_{i\leqslant m} R^i$ для некоторого $m\geqslant 0$, где $R^*$ – транзитивное рефлексивное замыкание $R$. Под высотой шкалы $(W,R)$ будем понимать высоту предпорядка $(W,R^*)$. Построены специальные разбиения (фильтрации) предтранзитивных шкал конечной высоты, из чего следует финитная аппроксимируемость и разрешимость их модальных логик.
Библиография: 30 наименований.

Ключевые слова: модальная логика, финитная аппроксимируемость, разрешимость, предтранзитивное отношение, конечная высота.

Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00150
Исследование выполнено в ИППИ РАН за счет гранта Российского научного фонда (проект № 14-50-00150).

Автор для корреспонденции

DOI: https://doi.org/10.4213/im8476

Полный текст: PDF файл (655 kB)
Первая страница: PDF файл
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Izvestiya: Mathematics, 2017, 81:3, 592–617

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

УДК: 510.643
MSC: 03B45
Поступило в редакцию: 19.11.2015

Образец цитирования: А. В. Кудинов, И. Б. Шапировский, “О разбиениях шкал Крипке конечной высоты”, Изв. РАН. Сер. матем., 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/izv8476}
\crossref{https://doi.org/10.4213/im8476}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3659549}
\adsnasa{http://adsabs.harvard.edu/cgi-bin/bib_query?2017IzMat..81..592K}
\elib{http://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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000408479100006}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85025475493}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/izv8476
  • https://doi.org/10.4213/im8476
  • http://mi.mathnet.ru/rus/izv/v81/i3/p134

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Просмотров:
    Эта страница:267
    Литература:28
    Первая стр.:23
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020