%0 Journal Article
%A Hájek, Petr
%A Kalášek, Pavel
%A Kůrka, Petr
%T O dynamické logice
%J Kybernetika
%D 1980
%V 16
%N Suppl
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1980__16_Suppl_a0/
%G cz
%F KYB_1980__16_Suppl_a0