Beata Konikowska Wojciech Penczek Model checking for multivalued logic of knowledge and time. 169-176 2006 conf/atal/2006 AAMAS http://doi.acm.org/10.1145/1160633.1160661 db/conf/atal/aamas2006.html#KonikowskaP06