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)

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