Сибирский федеральный университет

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

Год издания: 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)

• Web of Science Core Collection
• Scopus
• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК