Dynamische epistemische Logik
Gültige Regel – Atomare Aktion
Komplexe Aktionen der dynamischen Logik: R1;R2, R1?R2, R*
Formeln: [R]Kp, <R>Kp (der Agent weiß p in allen/in einigen Zuständen nach der Ausführung der Aktion R)
Höhere Abstraktion: Hilfsaktion F=(R1 ?... ?Rn)+ (ein „Denkvorgang“) – „ Agent weiß nach einigen Denkschriten, daß p“: <F>Kp