Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, R. A., Tishkovsky, D., & Hustadt, U. (2004). Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica, 78, 381-415.