PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS

Тип публикации: статья из журнала

Год издания: 2016

Идентификатор DOI: 10.17377/semi.2016.13.074

Ключевые слова: unification, modal temporal logic, passive inference rules, multi-agent relations

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

Ссылки на полный текст

Издание

Журнал: SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA

Выпуск журнала: Vol. 13

Номера страниц: 923-929

ISSN журнала: 18133304

Место издания: NOVOSIBIRSK

Издатель: SOBOLEV INST MATHEMATICS

Авторы

  • Bashmakov Stepan I. (Siberian Fed Univ, Inst Math & Comp Sci, Pr Svobodny 79, Krasnoyarsk 660041, Russia)
  • Kosheleva Anna V. (Siberian Fed Univ, Inst Space & Informat Technol, Kirenskogo St 26, Krasnoyarsk 660074, Russia)
  • Rybakov Vladimir (Dept Comp & Math, John Dalton Bldg,Chester St, Manchester M1 5GD, Lancs, England)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.