Multi-Agent Logic based on Temporary Logic TS4
Vladimir Vladimirovich Rybakov · Frontiers in artificial intelligence and applications · 2012
In this paper we study multi-agents’ non-linear temporal logic TS4K_nbased on arbitrary (in particular, non-linear, finite or infinite) frames with reflexive and transitive accessibility relations, and individual symmetric accessibility relations Rifor agents. Our framework uses conception of interacting agents implemented via arbitrary finite paths of transitions by agents accessibility relations. Main problems we are dealing here are decidability and satisfiability problems for this logic. We prove that TS4Kn