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

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

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


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




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

Сибирский математический журнал, 2021, том 62, номер 3, страницы 619–628
DOI: https://doi.org/10.33048/smzh.2021.62.313 (Mi smj7582) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Логики ветвящегося времени с мультиагентными отношениями временной достижимости

В. В. Рыбаковab

a Сибирский федеральный университет, Институт математики и информатики, пр. Свободный, 79, Красноярск 660041
b Институт систем информатики РАН, пр. Академика Лаврентьева, 6, Новосибирск 630090
PDF полного текста (411 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/smzh.2021.62.313
Аннотация: Изучается временная логика ветвящегося времени с отношениями временной достижимости для агентов, различных по протяженности и содержанию. Найден алгоритм для разрешения проблемы выполнимости и разрешимости самой логики через описание конечных выполняющих моделей вычислимого размера (через размер входных формул). Сняты ограничения на величину всех интервалов временной достижимости для агентов (быть всем внутри общего интервала временной достижимости для любой локальной точки времени): они могут быть произвольными. Сформулированы некоторые открытые проблемы.
Ключевые слова: временные логики, мультиагентные логики, проблема выполнимости, разрешающие алгоритмы.
Финансовая поддержка Номер гранта
Национальный исследовательский университет "Высшая школа экономики"
Министерство науки и высшего образования Российской Федерации 075-02-2020-1534/1
Исследование выполнено при поддержке НИУ ВШЭ, Красноярского математического центра и Минобрнауки России (грант № 075–02–2020–1534/1).
Статья поступила: 14.08.2020
Окончательный вариант: 10.01.2021
Принята к печати: 22.01.2021
Англоязычная версия:
Siberian Mathematical Journal, 2021, Volume 62, Issue 3, Pages 503–510
DOI: https://doi.org/10.1134/S0037446621030137
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64+510.65+510.66
Образец цитирования: В. В. Рыбаков, “Логики ветвящегося времени с мультиагентными отношениями временной достижимости”, Сиб. матем. журн., 62:3 (2021), 619–628; Siberian Math. J., 62:3 (2021), 503–510
Цитирование в формате AMSBIB
\RBibitem{Ryb21}
\by В.~В.~Рыбаков
\paper Логики ветвящегося времени с~мультиагентными отношениями временной достижимости
\jour Сиб. матем. журн.
\yr 2021
\vol 62
\issue 3
\pages 619--628
\mathnet{http://mi.mathnet.ru/smj7582}
\crossref{https://doi.org/10.33048/smzh.2021.62.313}
\elib{https://elibrary.ru/item.asp?id=46788528}
\transl
\jour Siberian Math. J.
\yr 2021
\vol 62
\issue 3
\pages 503--510
\crossref{https://doi.org/10.1134/S0037446621030137}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000655743500013}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85107001397}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj7582
  • https://www.mathnet.ru/rus/smj/v62/i3/p619
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:175
    PDF полного текста:79
    Список литературы:28
    Первая страница:10
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024