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

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

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


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




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

Проблемы передачи информации, 2016, том 52, выпуск 2, страницы 72–84 (Mi ppi2205)  
Большие системы

О модальной логике интервалов с отношением “позже”

А. С. Чижов

Федеральное государственное унитарное предприятие "Организация 'Агат' "
PDF полного текста (262 kB)
Список литературы:
PDF
HTML
Аннотация: Статья посвящена изучению логики интервалов вещественной прямой с модальностью, соответствующей отношению “следовать после”. Поскольку логика обладает конечной аксиоматикой, из приведенного доказательства финитной аппроксимируемости следует ее разрешимость. Также приводится описание класса конечных шкал с корнем, соответствующих этой логике.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-01-31442-мол-а
Работа выполнена при частичной финансовой поддержке Российского фонда фундаментальных исследований (номер проекта 14-01-31442-мол-а).
Поступила в редакцию: 15.11.2013
После переработки: 11.04.2016
Англоязычная версия:
Problems of Information Transmission, 2016, Volume 52, Issue 2, Pages 166–177
DOI: https://doi.org/10.1134/S003294601602006X
Реферативные базы данных:
Тип публикации: Статья
УДК: 621.391.1+519.72
Образец цитирования: А. С. Чижов, “О модальной логике интервалов с отношением “позже””, Пробл. передачи информ., 52:2 (2016), 72–84; Problems Inform. Transmission, 52:2 (2016), 166–177
Цитирование в формате AMSBIB
\RBibitem{Chi16}
\by А.~С.~Чижов
\paper О модальной логике интервалов с~отношением ``позже''
\jour Пробл. передачи информ.
\yr 2016
\vol 52
\issue 2
\pages 72--84
\mathnet{http://mi.mathnet.ru/ppi2205}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3592235}
\elib{https://elibrary.ru/item.asp?id=28876239}
\transl
\jour Problems Inform. Transmission
\yr 2016
\vol 52
\issue 2
\pages 166--177
\crossref{https://doi.org/10.1134/S003294601602006X}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000379926700006}
\elib{https://elibrary.ru/item.asp?id=27084355}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84978888847}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ppi2205
  • https://www.mathnet.ru/rus/ppi/v52/i2/p72
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Проблемы передачи информации Problems of Information Transmission
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024