Beata Konikowska, Wojciech Penczek. Model checking for multivalued logic of knowledge and time. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 169-176, ACM, 2006. [doi]
Abstract is missing.