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

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

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


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




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

Сибирские электронные математические известия, 2016, том 13, страницы 923–929
DOI: https://doi.org/10.17377/semi.2016.13.074 (Mi semr724) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

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

Projective formulas and unification in linear discrete temporal multi-agent logics

S. I. Bashmakova, A. V. Koshelevab, V. Rybakovc

a Institute of mathematics and computer science, Siberian Federal University, pr. Svobodny, 79, 660041, Krasnoyarsk, Russia
b Institute of space and informatic technologies, Siberian Federal University, Kirenskogo St. 26, ULK building, 660074, Krasnoyarsk, Russia
c Department of Computing and Mathematics, John Dalton Building, Chester Street, Manchester M1 5GD, UK
PDF полного текста (595 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/semi.2016.13.074
Аннотация: This article continues our studying the problem of unification in multi-agent logics. Based on the approach to the unificational problem through the projective formulas proposed by V. Rybakov and S. Ghilardi, in this paper we consider some linear discrete temporal logics with the agent relations. We proved the projectivity of any unifiable formula in these logics and gave an algorithm for construction the most general unifier.
Ключевые слова: unification, modal temporal logic, passive inference rules, multi-agent relations.
Поступила 30 июля 2016 г., опубликована 31 октября 2016 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643
MSC: 03F99
Язык публикации: английский
Образец цитирования: S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929
Цитирование в формате AMSBIB
\RBibitem{BasKosRyb16}
\by S.~I.~Bashmakov, A.~V.~Kosheleva, V.~Rybakov
\paper Projective formulas and unification in linear discrete temporal multi-agent logics
\jour Сиб. электрон. матем. изв.
\yr 2016
\vol 13
\pages 923--929
\mathnet{http://mi.mathnet.ru/semr724}
\crossref{https://doi.org/10.17377/semi.2016.13.074}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000407781100074}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85014115087}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr724
  • https://www.mathnet.ru/rus/semr/v13/p923
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:223
    PDF полного текста:54
    Список литературы:34
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024