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

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

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



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






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


Сибирские электронные математические известия, 2019, том 16, страницы 1158–1170
DOI: https://doi.org/10.33048/semi.2019.16.079
(Mi semr1120)
 

Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Математическая логика, алгебра и теория чисел

Branching time agents' logic, satisfiability problem by rules in reduced form

V. V. Rybakovab

a Institute of Mathematics and Computer Science Siberian Federal University, 79, Svobodny ave., Krasnoyarsk, 660041, Russia
b A.P. Ershov Institute of informatics systems SB RAS 6, Acad. Lavrentjev ave., Novosibirsk, 630090, Russia
Список литературы:
Аннотация: This paper considers the branching time logic on non-transitive intervals of agents' accessibility relations. The agents' accessibility relations are defined inside transitivity intervals and via neighboring limit points, they may be not complete and lose some states — the lacunas of forgotten time thought they may interfere. This approach is used for modeling computational processes and analysis of incomplete information for individual agents. A logical language for reasoning about models' properties which includes temporal and modal logical operations is suggested. Illustrative examples are provided. Mathematical part of the paper is devoted to the satisfiability and decidability problems for the suggested logic. We use instruments of reduced normal forms for rules and algorithms converting rules to such forms. We find algorithms solving the satisfiability problem. Some open problems are suggested.
Ключевые слова: temporal logic, branching time logic, multi-agent logic, computability, information, satisfiability, decidability.
Поступила 4 января 2019 г., опубликована 26 августа 2019 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
MSC: 03F99
Язык публикации: английский
Образец цитирования: V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Сиб. электрон. матем. изв., 16 (2019), 1158–1170
Цитирование в формате AMSBIB
\RBibitem{Ryb19}
\by V.~V.~Rybakov
\paper Branching time agents' logic, satisfiability problem by rules in reduced form
\jour Сиб. электрон. матем. изв.
\yr 2019
\vol 16
\pages 1158--1170
\mathnet{http://mi.mathnet.ru/semr1120}
\crossref{https://doi.org/10.33048/semi.2019.16.079}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000483863600001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1120
  • https://www.mathnet.ru/rus/semr/v16/p1158
  • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:239
    PDF полного текста:126
    Список литературы:24
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024