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

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

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



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






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


Сиб. электрон. матем. изв., 2016, том 13, страницы 656–663 (Mi semr702)  

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

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

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

Аннотация: 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.

DOI: https://doi.org/10.17377/semi.2016.13.052

Полный текст: PDF файл (155 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.643
MSC: 03F99
Поступила 9 апреля 2016 г., опубликована 17 августа 2016 г.
Язык публикации: английский

Образец цитирования: 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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000407781100052}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85014123383}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/semr702
  • http://mi.mathnet.ru/rus/semr/v13/p656

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929  mathnet  crossref
  • Просмотров:
    Эта страница:61
    Полный текст:11
    Литература:15

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019