Vladimir V. Rybakov. Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. In Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - ICAISC 2008, 9th International Conference, Zakopane, Poland, June 22-26, 2008, Proceedings. Volume 5097 of Lecture Notes in Computer Science, pages 1243-1253, Springer, 2008. [doi]
Abstract is missing.