Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, R. A., & Tishkovsky, D. (2004). Multi-Agent Dynamic Logics with Informational Test. Annals of Mathematics and Artificial Intelligence, 42, 5-36.