Тип публикации: статья из журнала
Год издания: 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 tПоказать полностьюime 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