Nikolay V. Shilov, Natalya Olegovna Garanina. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. In Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger, editors, Knowledge Processing and Data Analysis - First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers. Volume 6581 of Lecture Notes in Computer Science, pages 48-58, Springer, 2007. [doi]
Abstract is missing.