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

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

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


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




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

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

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

Non-unifiability in linear temporal logic of knowledge with multi-agent relations

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 полного текста (155 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/semi.2016.13.052
Аннотация: The paper is devoted to the study of the unification problem in the linear temporal logic of knowledge with multi-agent relations (denoted in the sequel as $LFPK$). This logic is based on frames (models) with time points represented by integer numbers from $Z$ and the information clusters $C^i$ for $i \in Z$ with multi-agent accessibility relations $R_i$.
The first main result is a theorem describing a criterion for formulas to be not unifiable in $LFPK$. The second one is a construction of a basis for all inference rules passive in $LFPK$.
Ключевые слова: unification, modal temporal logic, passive inference rules.
Поступила 9 апреля 2016 г., опубликована 17 августа 2016 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643
MSC: 03F99
Язык публикации: английский
Образец цитирования: S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016), 656–663
Цитирование в формате AMSBIB
\RBibitem{BasKosRyb16}
\by S.~I.~Bashmakov, A.~V.~Kosheleva, V.~Rybakov
\paper Non-unifiability in linear temporal logic of knowledge with multi-agent relations
\jour Сиб. электрон. матем. изв.
\yr 2016
\vol 13
\pages 656--663
\mathnet{http://mi.mathnet.ru/semr702}
\crossref{https://doi.org/10.17377/semi.2016.13.052}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000407781100052}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85014123383}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr702
  • https://www.mathnet.ru/rus/semr/v13/p656
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:205
    PDF полного текста:35
    Список литературы:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024