Тип публикации: статья из журнала
Год издания: 2017
Ключевые слова: unification, multi-agent logics, modal logic, temporal logic, passive inference rules
Аннотация: We investigate the unification problem for all logics with expressible universal modality. The main results are syntactic conditions for formulas to be not unifiable and theorems describing bases for inference rules passive in such logics. Then we apply these results to various logics, in particular to linear temporal logics with time states with agents logical operations, and even to some branching time logics with multi-agents logical operations.
Издание
Журнал: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
Выпуск журнала: Vol. 4, Is. 4
Номера страниц: 939-954
ISSN журнала: 20553706
Место издания: LONDON
Издатель: COLL PUBLICATIONS
Персоны
- Bashmakov Stepan (Siberian Fed Univ, Inst Math & Comp Sci, 79 Pr Svobodny, Krasnoyarsk 660041, Russia)
- Kosheleva Anna (Siberian Fed Univ, Inst Space & Informat Technol, 26 Ul Kirenskogo,ULK Bldg, Krasnoyarsk 660074, Russia)
- Rybakov Vladimir V. (Manchester Metropolitan Univ, Dept Comp & Math, John Dalton Bldg,Chester St, Manchester M1 5GD, Lancs, England)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.