Тип публикации: статья из журнала
Год издания: 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)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.