Update and Abstraction in Model Checking of Knowledge and Branching Time. - Nikolay V. Shilov 002; Natalya Olegovna Garanina; K.-M. Choe (Fundam. Informaticae, 2006)