Projective formulas and unification in linear discrete temporal multi-agent logics

摘要

This article continues our studying the problem of unificationin multi-agent logics. Based on the approach to the unificational problemthrough the projective formulas proposed by V. Rybakov and S. Ghilardi,in this paper we consider some linear discrete temporal logics with theagent relations. We proved the projectivity of any unifiable formula inthese logics and gave an algorithm for construction the most generalunifier.