Nikolay V. Shilov, Natalya Olegovna Garanina. Model checking knowledge and fixpoints. In Zoltán Ésik, Anna Ingólfsdóttir, editors, Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings. Volume NS-02-2 of BRICS Notes Series, pages 25-39, University of Aarhus, 2002.
Abstract is missing.