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

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

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

• Web of Science Core Collection