On dynamic logic. - Petr Hájek 001; Pavel Kalásek; Petr Kurka (Kybernetika, 1980)