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

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

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



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






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


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

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

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

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

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

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

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

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

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

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


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

    ОТПРАВИТЬ: 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. Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, Журн. СФУ. Сер. Матем. и физ., 11:1 (2018), 3–9  mathnet  crossref
  • Просмотров:
    Эта страница:72
    Полный текст:20
    Литература:12

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